トップページtech
1001コメント330KB

関数型プログラミング言語Haskell Part3

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさんNGNG
Haskellの公式HP
http://www.haskell.org/
日本語サイト
http://www.sampou.org/cgi-bin/haskell.cgi
Http://www.teu.ac.jp/kougi/koshida/Prog6/index.html

過去ログ、関連スレは>>2-5
0412デフォルトの名無しさん05/02/13 18:02:27
じゃあ、みんなでHaskellで言語処理系を作ろう。
0413デフォルトの名無しさん05/02/13 18:21:28
Haskellでテトリスは作れますか?
0414デフォルトの名無しさん05/02/13 18:26:54
>>413
作れます。
0415デフォルトの名無しさん05/02/13 18:33:34
Haskellのテトリス↓
http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/Hetris/
http://fxp.hp.infoseek.co.jp/haskell/HSDL/
0416デフォルトの名無しさん05/02/13 18:55:01
ghcってどれくらいきちんとdebugされてるのかなあ。
仕事に使っても大丈夫?
0417デフォルトの名無しさん05/02/13 22:14:38
>>411
こういうコンテキストで話すなら、商用に使われてナンボだと思うが。
俺自身は宿題用だろうが日曜プログラマーの趣味の道具だろうが構わんけど。
0418デフォルトの名無しさん05/02/14 15:53:01
>>416
まあオープンソースだから、sourceforge.net/projects/ghc/やメーリングリストを見て
自分で判断してくださいということで。


ver6.4のリリースが延び延びになっているのが気になる。
RCのソースもコンパイルできないし…(@Mac)
0419デフォルトの名無しさん05/02/14 20:24:12
そうそう。
あくまでも最先端の研究用なので、品質に期待してはいけない。
0420デフォルトの名無しさん05/02/19 08:34:16
C,C++の代わりとまではいかなくても、
Perlの代わりぐらいにはなりますか?
0421デフォルトの名無しさん05/02/19 11:17:33
>>420
もう少しHaskellのこと勉強してから出直してきたら
0422デフォルトの名無しさん05/02/19 12:09:32
>>421
言語の完成度じゃなくてghcの完成度を聞いてるんだけど。
0423デフォルトの名無しさん05/02/19 13:10:18
エスパー募集中ですか(w
0424デフォルトの名無しさん05/02/19 23:54:19
ghcってとてもバグが少ないとおもう。
特に、コンパイル結果がおかしいというのは一つも知らない。
言語拡張を使ってコンパイラが落ちるのはあったが、gccだってよく落ちたし。

品質に期待してはいけないってのは、なんか具体的な理由があるの?
0425デフォルトの名無しさん05/02/22 20:08:41
GHC最強。ノアだけはガチ。
0426デフォルトの名無しさん05/02/22 22:01:11
ghcは完璧。バグなんて有り得ない。
0427デフォルトの名無しさん05/02/23 09:12:55
ttp://www.ghc.or.jp/
0428デフォルトの名無しさん05/02/23 19:20:04
ghcの品質に問題ありとかいってる奴は頭がおかしいな。
0429デフォルトの名無しさん05/02/23 20:51:01
関数型言語で書かれてないソフトウェアなんて
信頼性低すぎて使ってられないよな。
0430デフォルトの名無しさん05/02/23 21:14:20
ghcにはバグなんてない。
ghcの信頼性 >>>>>>>>> gccの信頼性
0431デフォルトの名無しさん05/02/24 11:00:34
     カタカタ
  || ̄ Λ_Λ
  ||_(Д`; ) 「なに?このスレ・・・」
  \⊂´   )
    (  ┳'
0432デフォルトの名無しさん05/02/26 23:31:32
妙な雰囲気を紛らわす一服の清涼剤sage

ttp://pggirls.asukaze.net/index.php?cmd=read&page=イ霖/Haskell、ソ、
0433デフォルトの名無しさん05/02/27 03:01:22
ghcにバグがないことは証明済みです。
0434デフォルトの名無しさん05/03/02 14:39:26
The Monad.Reader
http://www.haskell.org/hawiki/TheMonadReader
0435デフォルトの名無しさん05/03/05 17:27:02
証明が間違ってないことも証明済みです
0436デフォルトの名無しさん05/03/05 21:47:09
よく分からんが、ghcにバグは有り得ないってことか。
0437デフォルトの名無しさん05/03/06 11:08:10
そゆこと
0438デフォルトの名無しさん05/03/08 23:33:41
ttp://sourceforge.net/tracker/?group_id=8032&atid=108032
0439デフォルトの名無しさん05/03/09 00:11:32
ghcってのは宗教か何かですか?
0440デフォルトの名無しさん05/03/09 00:24:00
真理です
0441デフォルトの名無しさん05/03/09 20:45:50
我々はこのスレを笑い飛ばしていたものです…。
しかし、その後、、、
0442デフォルトの名無しさん05/03/10 00:24:38
テレビで観た外国人犯罪者。刑務所で個室をもらい、支給されたパソコン
でお勉強。本国から雑誌や新聞、書籍を送ってもらい、専属の通訳と翻訳家
つきで、食事はその国にあわせたもの。日本人受刑者は狭い部屋ですし詰め。
しばらくして、別のニュースでホームレスが川に落ちたインスタントラーメンを
取ろうとして転落、そのまま凍死してしまったという記事を読んで、せつなくな
ってしまった。
新聞で日本で暮らす脱北者のインタビュー記事。「生活保護の支給額が足りない」
「支援してくれないので日本は冷たい」だと。
別の記事で生活保護を受けられなかった母子がおんぼろアパートで餓死。
この国は本当に狂っている。
0443デフォルトの名無しさん05/03/10 00:32:05
・・・という内容をghcで矛盾を含まずーディングしはじめる兵(ツワモノ)が現れるのを
目の当たりにすることになったのです。  〜Fin.〜   (2ch.千夜一夜物語)
0444デフォルトの名無しさん05/03/10 00:58:20
真理です
0445デフォルトの名無しさん05/03/11 00:20:02
生活苦や迫害から逃れるため北朝鮮を脱出した元在日朝鮮人
大阪府八尾市に支援者が用意した2部屋のアパートで
月約17万円の生活保護と支援者からのカンパで暮らす。

ソウルに住む長男も呼び寄せたいというが、
「いまの生活保護額では厳しい」と悩む日々だ。

http://www.asahi.com/national/update/0310/OSK200503100048.html

         確定申告済ませたか?

      俺も17万円と2部屋のアパート欲しい。      
   豊な生活送るには、17万円ポッチじゃ、まだタリン。 
     おまえ等の税金もっともっと よ こ せ!
0446デフォルトの名無しさん05/03/11 00:31:20
ghcならコンパイル可能
0447デフォルトの名無しさん05/03/11 00:43:13
ghcだからこそコンパイルエラーの結果に終わります。 こんなんに真値判定出されてたまりますか。
0448デフォルトの名無しさん05/03/12 20:33:41
http://www.haskell.org/ghc/download_ghc_64.html
0449デフォルトの名無しさん05/03/12 23:28:12
新たな教典が来ましたね。
もちろんバグはありませんので、安心してご利用ください。
0450デフォルトの名無しさん05/03/13 02:47:22
>>449 =モズクズ様↓
http://www.gema3.net/bbs/icon/inore.jpg
0451デフォルトの名無しさん05/03/14 14:32:35
SOE本とCraft本で、どちらがお勧めですか?
0452デフォルトの名無しさん05/03/14 16:41:23
>>451
両方
0453デフォルトの名無しさん05/03/14 23:22:35
今年度は、Hugsの新版出ないの?
0454デフォルトの名無しさん05/03/15 00:02:58
Mar 2005 releaseがでてるけど
0455デフォルトの名無しさん05/03/15 08:28:37
あれ、いつの間に。
0456デフォルトの名無しさん05/03/15 08:32:05
Charが、うにコードに対応したんだ。
0457デフォルトの名無しさん05/03/20 10:13:33
hugs98-Mar2005-patched.tar.gzキテル━━━━━━(゚∀゚)━━━━━━ !!!!!
updated with urgent bug fixes
0458デフォルトの名無しさん2005/03/23(水) 00:58:19
同じ関数型言語でもHaskellのほうがSchemeより易しくない?
SMFの解析を書き始めてるけど、コストをあまり考えすぎなくてよい気がするし、
Schemeよりも簡潔に書けるし、実行速度もいくぶん速い。
いまのところ、手続き型の処理を書かなくても
(コストを気にしない限りは)それほど書くのが難しくない。
ただ、効率を気にしだすと書き換えるのは難しいのかな?
0459デフォルトの名無しさん2005/03/23(水) 07:53:51
素朴な疑問だが、lazyな言語で割り込み処理(シグナル等)はどうやって書くのだろう。
割り込み時の状態はどう定義されるのだろうか。
0460デフォルトの名無しさん2005/03/28(月) 13:39:35
>>459
もれも良く分からんが、MIT pressから出てるSICPっていう本読んでると
無限ストリームっていうのが出てくるから、それ使うんじゃない?
A Gentle Introduction to Haskellっていう、Haskellの紹介文書
にも無限ストリームを使ったクライアントーサーバー処理の例が出てくるよ。
0461デフォルトの名無しさん2005/03/28(月) 15:15:52
数学理論に立脚した言語で現実世界を対象としたプログラミングを行うことは間違いだ
0462デフォルトの名無しさん2005/03/28(月) 15:16:30
>>461
はい?もう一度言ってもらえますか?よく見えなかったので。
0463デフォルトの名無しさん2005/03/28(月) 18:39:05
>>459
たぶんlazyな言語に対して割り込みのformal semanticsを与えた人はいないと思う。
もの凄く難しい。

>>460
それは単なる入出力ではなかろうか。
0464デフォルトの名無しさん2005/03/28(月) 20:05:44
イベントや割り込みであろうが入出力には違いないだろ
辻褄が合ってればいい
0465デフォルトの名無しさん2005/03/28(月) 20:08:30
割込みは「単なる」入出力とは違うってことだろ
0466デフォルトの名無しさん2005/03/28(月) 23:35:57
ghcでバイナリデータをバイト単位で扱うときって、Word8を使えばいいの?

Charだと数値との比較ができなくて不便。
0467デフォルトの名無しさん2005/03/29(火) 01:36:32
MacOS X 10.3 で Haskell を使うのにお勧めの方法は何でしょうか?
Hugs98 か ghc になると思うのですが。 fink には入っているのは
どちらも Hugs98 2001-Feb と ghc 6.2 で少々古かったです。
0468デフォルトの名無しさん2005/03/29(火) 02:58:49
Mac使うのを止めるのがオススメ!
0469デフォルトの名無しさん2005/03/29(火) 04:16:23
そうだね。
爪弾きにされ、余計な苦労ばかり増えて良いところなんて一つもないし。
0470デフォルトの名無しさん2005/03/29(火) 08:45:40
finkに頼らんでもHugsなら自分でmakeすればOKだし
GHCは本家にバイナリが用意してある
0471デフォルトの名無しさん2005/03/30(水) 02:58:36
マイナー言語やる上で Mac は悪くないプラットフォームなんだけどね。
ML も主要なのは殆ど対応しているし。
0472デフォルトの名無しさん2005/03/30(水) 03:06:14
haskellよりもMLの方が文法綺麗じゃないですか??そんなことないかな…
0473デフォルトの名無しさん2005/03/30(水) 03:15:35
ML、特にSMLはDefinitionが出て以来そのままだからなあ(97年に改訂されたけど)。
Haskellの方も一応98はあるけど、そうじゃない部分は随時面白い話があるたびに
手を入れてきた感じなのは否めないのかも。
0474デフォルトの名無しさん2005/03/31(木) 19:07:35
http://www.amazon.co.jp/exec/obidos/ASIN/0201342758/
http://www.amazon.co.jp/exec/obidos/ASIN/0521644089/

この 2 冊が欲しいのですが、中を確かめてから欲しいので
都内で在庫がある店知りませんか?
東京駅〜秋葉原〜神保町あたりだと助かります。
0475デフォルトの名無しさん2005/03/31(木) 22:26:11
グランデに電話してみれば?
0476デフォルトの名無しさん2005/03/31(木) 22:33:33
> 474
Haskell: The Craft of Functional Programmingはかなりおすすめです。
買って損はないと思います。
0477474皇紀2665/04/01(金) 10:58:40
結局 Amazon で注文しました。

http://www.hatena.ne.jp/1087912125
ここに載っててありそうなところには電話かけましたが
店頭に在庫はないみたいでした。Amazon がない時代は
みんなどうしていたんだろう…。大学生協で取り寄せかな。
0478デフォルトの名無しさん皇紀2665/04/01(金) 18:28:57
>>474
神田行けばいくらでもあるだろ。
デカイ本屋で在庫あるか訊いてみろ。
0479474皇紀2665/04/01(金) 19:57:19
>>478
私には >>477 以外に出てくる本屋以外にデカイ本屋は知りません。
おすすめのコンピュータの洋書をあつかっている店の名前が分かる
なら教えてください。
0480デフォルトの名無しさんNGNG
>>479
http://www.book-kanda.or.jp/town/map/map.htm
http://www.book-kanda.or.jp/town/newbook/index.htm
0481474NGNG
明日、神田を周ってこようと思います。
ありがとうございました。
0482デフォルトの名無しさんNGNG
>>474
君見て自分も思い出したように買ったよ
まあ回っても見つからないと思うよ
04834742005/04/03(日) 11:46:47
昨日行ってきました。
水道橋駅を降りて、神保町駅まで歩きその周辺の本屋を巡りました。
コンピュータの洋書を扱っているのが、三省堂の本店しか見つける
ことができませんでした。在庫はあらず。

いくらでもあるとのことなのですが、探しかたが悪いのか、
>>482 さんの言う通りなのか不明です。

Amazon から Haskell: The Craft of Functional Programming
は届いたので読みすすめてます。結構面白いです。
0484デフォルトの名無しさん2005/04/04(月) 04:15:17
>>483
> コンピュータの洋書を扱っているのが、三省堂の本店しか見つける
> ことができませんでした。

え、マジ? それは探し方が悪いのでは。
04854742005/04/06(水) 17:39:21
そうですよね。もっと探検してみます。
0486デフォルトの名無しさん2005/04/07(木) 12:56:04
オレも他にはゆうりんどう(字わからん)くらいしか思いつかない。いいとこあるなら教えてcray。
0487デフォルトの名無しさん2005/04/07(木) 14:51:05
洋書なんて読むなよこの非国民が
0488デフォルトの名無しさん2005/04/07(木) 15:41:08
英語も読めないの?国辱。
0489デフォルトの名無しさん2005/04/07(木) 20:21:03
洋書 = 英語書かよ、この拝米主義者め
0490デフォルトの名無しさん2005/04/07(木) 20:31:05
英語=拝米の方がよっぽど(ry
0491デフォルトの名無しさん2005/04/07(木) 20:48:29
Haskell: The Craft of Functional Programming は英語だろ?
国辱どもが。
0492デフォルトの名無しさん2005/04/07(木) 20:57:10
当たり前のことを言うな一知半解野郎
0493デフォルトの名無しさん2005/04/07(木) 21:30:11
これがゆとり教育の弊害か。確かに国辱。
0494デフォルトの名無しさん2005/04/07(木) 22:14:10
>>487-493
レベルの低い話は止めろ
0495デフォルトの名無しさん2005/04/08(金) 22:34:40
科学とかに関しては日本なんてどうでもいい罠。
0496デフォルトの名無しさん2005/04/09(土) 09:19:13
Haskellの勉強してると類(kind)という言葉が出てくる。
手持ちの関数型言語の参考書では見かけないので、類を扱うのは比較的
珍しいことなのかと思うのだけれど、どう?
なんでHaskellには類が必要なの?
0497デフォルトの名無しさん2005/04/09(土) 13:07:49
Haskellだと、普通の多相型([]とかMaybeとか)に加えて
「型構築子から型構築子への写像」(StateTとか)のようなものを定義できるから、
単に「無引数の型構築子」だとか「1引数の型構築子」とかいうだけじゃ不十分だからだと思う。

まあ、似たような機能のあるC++では「類」なんて聞いたこともないんだけど。
関数型言語についてはよく知らんので誰かフォローよろしく。
0498デフォルトの名無しさん2005/04/09(土) 13:52:32
WinXPで動くHaskellのコンパイラってある?
0499デフォルトの名無しさん2005/04/09(土) 13:59:36
>>498
え?GHCがwindowsで動くでしょ???
0500デフォルトの名無しさん2005/04/09(土) 14:23:03
           ∩ノ
          / つ
         / /  / ̄ ̄ ̄ ̄
      ∧ ∧/   < 500ゲットぉぉぉぉ!
     ⊂(゚Д゚ ) 彡   \
        ⊂彡       ̄ ̄ ̄ ̄
   ____●●●___ バイーン
 / 〇 〇 \|/  /|
 | ̄ ̄ ̄ ̄ ̄ ̄ ̄|
0501デフォルトの名無しさん2005/04/09(土) 17:40:30
498ではないが、
WINXP sp2 で GHC のインストーラはエラーで落ちました。
hugs98 は簡単にインストールできました。
0502デフォルトの名無しさん2005/04/10(日) 11:03:22
言語仕様を見るとHaskellの方がはるかに機能的に見えるのだけど、実用面を見るとHaskellはボロボロ。
結局、開発するならOCamlに軍配があがるんだよね。
0503デフォルトの名無しさん2005/04/10(日) 11:31:38
だから品質には期待するなとあれほど(ry
0504デフォルトの名無しさん2005/04/10(日) 13:23:42
だからghcにバグはないとあれほど(ry
0505デフォルトの名無しさん2005/04/11(月) 11:57:34
>>497
Haskellよく知らんけど、合ってるんじゃん?
C++のテンプレートは展開してからチェックするので、いらないんでしょ。たぶん。
0506デフォルトの名無しさん2005/04/11(月) 12:08:44
>>463
>たぶんlazyな言語に対して割り込みのformal semanticsを与えた人はいないと思う。
>もの凄く難しい

Haskellよく知らんので何か勘違いしてるかもしれんが、

http://research.microsoft.com/Users/simonpj/Papers/papers.html

のA semantics for imprecise exceptionsの5.1節とか
Imprecise Exceptions, Co-Inductivelyは違うの?
0507デフォルトの名無しさん2005/04/11(月) 20:32:57
Haskellで正規表現は標準でサポートされているのですか?
0508デフォルトの名無しさん2005/04/11(月) 20:44:09
>>507
http://www.google.co.jp/search?hl=ja&q=Haskell+regex&lr=
0509デフォルトの名無しさん2005/04/15(金) 17:30:13
>>501
3月21日位にインストーラーが変わっている様なのですが、それでインストールしても
駄目ですか?
当方はXP SP2でインストールできています。
0510デフォルトの名無しさん2005/04/15(金) 19:37:33
つーかインストーラーぐらいちゃんと作れませんか?
05115012005/04/16(土) 12:07:17
>>509
最新版でインストールもできましたし、ちゃんと動きました。
ありがとうございます。
■ このスレッドは過去ログ倉庫に格納されています