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

1 名前：デフォルトの名無しさん [04/02/10 22:16] Haskellの公式HP www.haskell.org/ 日本語サイト www.sampou.org/cgi-bin/haskell.cgi www.teu.ac.jp/kougi/koshida/Prog6/index.html 過去ログ、関連スレは>>2-5 411 名前：デフォルトの名無しさん mailto:age [05/02/13 17:32:09 ] >>409 OCamlをフリーソフト(非オープンソース)を書くのに使っていますが。 412 名前：デフォルトの名無しさん mailto:sage [05/02/13 18:02:27 ] じゃあ、みんなでＨａｓｋｅｌｌで言語処理系を作ろう。 413 名前：デフォルトの名無しさん mailto:sage [05/02/13 18:21:28 ] Haskellでテトリスは作れますか？ 414 名前：デフォルトの名無しさん mailto:age [05/02/13 18:26:54 ] >>413 作れます。 415 名前：デフォルトの名無しさん mailto:sage [05/02/13 18:33:34 ] Haskellのテトリス↓ web.comlab.ox.ac.uk/oucl/work/ian.lynagh/Hetris/ fxp.hp.infoseek.co.jp/haskell/HSDL/ 416 名前：デフォルトの名無しさん mailto:sage [05/02/13 18:55:01 ] ghcってどれくらいきちんとdebugされてるのかなあ。 仕事に使っても大丈夫？ 417 名前：デフォルトの名無しさん mailto:sage [05/02/13 22:14:38 ] >>411 こういうコンテキストで話すなら、商用に使われてナンボだと思うが。 俺自身は宿題用だろうが日曜プログラマーの趣味の道具だろうが構わんけど。 418 名前：デフォルトの名無しさん mailto:sage [05/02/14 15:53:01 ] >>416 まあオープンソースだから、sourceforge.net/projects/ghc/やメーリングリストを見て 自分で判断してくださいということで。 ver6.4のリリースが延び延びになっているのが気になる。 RCのソースもコンパイルできないし…(@Mac) 419 名前：デフォルトの名無しさん mailto:sage [05/02/14 20:24:12 ] そうそう。 あくまでも最先端の研究用なので、品質に期待してはいけない。 420 名前：デフォルトの名無しさん mailto:sage [05/02/19 08:34:16 ] C,C++の代わりとまではいかなくても、 Perlの代わりぐらいにはなりますか？ 421 名前：デフォルトの名無しさん mailto:sage [05/02/19 11:17:33 ] >>420 もう少しHaskellのこと勉強してから出直してきたら 422 名前：デフォルトの名無しさん mailto:sage [05/02/19 12:09:32 ] >>421 言語の完成度じゃなくてghcの完成度を聞いてるんだけど。 423 名前：デフォルトの名無しさん mailto:sage [05/02/19 13:10:18 ] ｴｽﾊﾟｰ募集中ですか(w 424 名前：デフォルトの名無しさん mailto:sage [05/02/19 23:54:19 ] ghcってとてもバグが少ないとおもう。 特に、コンパイル結果がおかしいというのは一つも知らない。 言語拡張を使ってコンパイラが落ちるのはあったが、gccだってよく落ちたし。 品質に期待してはいけないってのは、なんか具体的な理由があるの？ 425 名前：デフォルトの名無しさん mailto:sage [05/02/22 20:08:41 ] GHC最強。ノアだけはガチ。 426 名前：デフォルトの名無しさん mailto:sage [05/02/22 22:01:11 ] ghcは完璧。バグなんて有り得ない。 427 名前：デフォルトの名無しさん mailto:sage [05/02/23 09:12:55 ] ttp://www.ghc.or.jp/ 428 名前：デフォルトの名無しさん mailto:sage [05/02/23 19:20:04 ] ghcの品質に問題ありとかいってる奴は頭がおかしいな。 429 名前：デフォルトの名無しさん mailto:sage [05/02/23 20:51:01 ] 関数型言語で書かれてないソフトウェアなんて 信頼性低すぎて使ってられないよな。 430 名前：デフォルトの名無しさん mailto:sage [05/02/23 21:14:20 ] ghcにはバグなんてない。 ghcの信頼性 >>>>>>>>> gccの信頼性 431 名前：デフォルトの名無しさん mailto:sage [05/02/24 11:00:34 ] 　　　　　ｶﾀｶﾀ 　　||￣ Λ＿Λ 　　||＿（Д`；　）　「なに？このスレ・・・」 　　＼⊂´　　　） 　　　　（　　┳' 432 名前：デフォルトの名無しさん mailto:sage [05/02/26 23:31:32 ] 妙な雰囲気を紛らわす一服の清涼剤sage ttp://pggirls.asukaze.net/index.php?cmd=read&page=ｲ霖�/Haskell､ｿ､� 433 名前：デフォルトの名無しさん mailto:sage [05/02/27 03:01:22 ] ghcにバグがないことは証明済みです。 434 名前：デフォルトの名無しさん mailto:sage [05/03/02 14:39:26 ] The Monad.Reader www.haskell.org/hawiki/TheMonadReader 435 名前：デフォルトの名無しさん mailto:sage [05/03/05 17:27:02 ] 証明が間違ってないことも証明済みです 436 名前：デフォルトの名無しさん mailto:sage [05/03/05 21:47:09 ] よく分からんが、ghcにバグは有り得ないってことか。 437 名前：デフォルトの名無しさん mailto:sage [05/03/06 11:08:10 ] そゆこと 438 名前：デフォルトの名無しさん mailto:sage [05/03/08 23:33:41 ] ttp://sourceforge.net/tracker/?group_id=8032&atid=108032 439 名前：デフォルトの名無しさん mailto:sage [05/03/09 00:11:32 ] ghcってのは宗教か何かですか？ 440 名前：デフォルトの名無しさん mailto:sage [05/03/09 00:24:00 ] 真理です 441 名前：デフォルトの名無しさん mailto:sage [05/03/09 20:45:50 ] 我々はこのスレを笑い飛ばしていたものです…。 しかし、その後、、、 442 名前：デフォルトの名無しさん mailto:sage [05/03/10 00:24:38 ] テレビで観た外国人犯罪者。刑務所で個室をもらい、支給されたパソコン でお勉強。本国から雑誌や新聞、書籍を送ってもらい、専属の通訳と翻訳家 つきで、食事はその国にあわせたもの。日本人受刑者は狭い部屋ですし詰め。 しばらくして、別のニュースでホームレスが川に落ちたインスタントラーメンを 取ろうとして転落、そのまま凍死してしまったという記事を読んで、せつなくな ってしまった。 新聞で日本で暮らす脱北者のインタビュー記事。「生活保護の支給額が足りない」 「支援してくれないので日本は冷たい」だと。 別の記事で生活保護を受けられなかった母子がおんぼろアパートで餓死。 この国は本当に狂っている。 443 名前：デフォルトの名無しさん mailto:sage [05/03/10 00:32:05 ] ・・・という内容をghcで矛盾を含まずーディングしはじめる兵(ﾂﾜﾓﾉ)が現れるのを 目の当たりにすることになったのです。　　〜Fin.〜　　　（2ch.千夜一夜物語） 444 名前：デフォルトの名無しさん [05/03/10 00:58:20 ] 真理です 445 名前：デフォルトの名無しさん mailto:sage [05/03/11 00:20:02 ] 生活苦や迫害から逃れるため北朝鮮を脱出した元在日朝鮮人 大阪府八尾市に支援者が用意した２部屋のアパートで 月約１７万円の生活保護と支援者からのカンパで暮らす。 ソウルに住む長男も呼び寄せたいというが、 「いまの生活保護額では厳しい」と悩む日々だ。 www.asahi.com/national/update/0310/OSK200503100048.html 　　　　　　　　　確定申告済ませたか？ 　　　　　　俺も17万円と2部屋のアパート欲しい。　　　　　　 　　　豊な生活送るには、17万円ポッチじゃ、まだタリン。　 　　　　　おまえ等の税金もっともっと　よ　こ　せ！ 446 名前：デフォルトの名無しさん mailto:sage [05/03/11 00:31:20 ] ghcならコンパイル可能 447 名前：デフォルトの名無しさん mailto:sage [05/03/11 00:43:13 ] ｇｈｃだからこそコンパイルエラーの結果に終わります。　こんなんに真値判定出されてたまりますか。 448 名前：デフォルトの名無しさん mailto:sage [05/03/12 20:33:41 ] www.haskell.org/ghc/download_ghc_64.html 449 名前：デフォルトの名無しさん mailto:sage [05/03/12 23:28:12 ] 新たな教典が来ましたね。 もちろんバグはありませんので、安心してご利用ください。 450 名前：デフォルトの名無しさん mailto:sage [05/03/13 02:47:22 ] >>449 ＝モズクズ様↓ www.gema3.net/bbs/icon/inore.jpg 451 名前：デフォルトの名無しさん mailto:sage [05/03/14 14:32:35 ] SOE本とCraft本で、どちらがお勧めですか？ 452 名前：デフォルトの名無しさん mailto:sage [05/03/14 16:41:23 ] >>451 両方 453 名前：デフォルトの名無しさん mailto:sage [05/03/14 23:22:35 ] 今年度は、Hugsの新版出ないの？ 454 名前：デフォルトの名無しさん mailto:sage [05/03/15 00:02:58 ] Mar 2005 releaseがでてるけど 455 名前：デフォルトの名無しさん mailto:sage [05/03/15 08:28:37 ] あれ、いつの間に。 456 名前：デフォルトの名無しさん mailto:sage [05/03/15 08:32:05 ] Charが、うにコードに対応したんだ。 457 名前：デフォルトの名無しさん mailto:sage [05/03/20 10:13:33 ] hugs98-Mar2005-patched.tar.gzｷﾃﾙ━━━━━━(ﾟ∀ﾟ)━━━━━━ !!!!! updated with urgent bug fixes 458 名前：デフォルトの名無しさん [2005/03/23(水) 00:58:19 ] 同じ関数型言語でもHaskellのほうがSchemeより易しくない？ SMFの解析を書き始めてるけど、コストをあまり考えすぎなくてよい気がするし、 Schemeよりも簡潔に書けるし、実行速度もいくぶん速い。 いまのところ、手続き型の処理を書かなくても （コストを気にしない限りは）それほど書くのが難しくない。 ただ、効率を気にしだすと書き換えるのは難しいのかな？ 459 名前：デフォルトの名無しさん mailto:sage [2005/03/23(水) 07:53:51 ] 素朴な疑問だが、lazyな言語で割り込み処理（シグナル等）はどうやって書くのだろう。 割り込み時の状態はどう定義されるのだろうか。 460 名前：デフォルトの名無しさん [2005/03/28(月) 13:39:35 ] >>459 もれも良く分からんが、MIT pressから出てるSICPっていう本読んでると 無限ストリームっていうのが出てくるから、それ使うんじゃない？ A Gentle Introduction to Haskellっていう、Haskellの紹介文書 にも無限ストリームを使ったクライアントーサーバー処理の例が出てくるよ。 461 名前：デフォルトの名無しさん mailto:sage [2005/03/28(月) 15:15:52 ] 数学理論に立脚した言語で現実世界を対象としたプログラミングを行うことは間違いだ 462 名前：デフォルトの名無しさん [2005/03/28(月) 15:16:30 ] >>461 はい？もう一度言ってもらえますか？よく見えなかったので。 463 名前：デフォルトの名無しさん mailto:sage [2005/03/28(月) 18:39:05 ] >>459 たぶんlazyな言語に対して割り込みのformal semanticsを与えた人はいないと思う。 もの凄く難しい。 >>460 それは単なる入出力ではなかろうか。 464 名前：デフォルトの名無しさん mailto:sage [2005/03/28(月) 20:05:44 ] イベントや割り込みであろうが入出力には違いないだろ 辻褄が合ってればいい 465 名前：デフォルトの名無しさん mailto:sage [2005/03/28(月) 20:08:30 ] 割込みは「単なる」入出力とは違うってことだろ 466 名前：デフォルトの名無しさん [2005/03/28(月) 23:35:57 ] ghcでバイナリデータをバイト単位で扱うときって、Word8を使えばいいの？ Charだと数値との比較ができなくて不便。 467 名前：デフォルトの名無しさん [2005/03/29(火) 01:36:32 ] MacOS X 10.3 で Haskell を使うのにお勧めの方法は何でしょうか？ Hugs98 か ghc になると思うのですが。 fink には入っているのは どちらも Hugs98 2001-Feb と ghc 6.2 で少々古かったです。 468 名前：デフォルトの名無しさん mailto:sage [2005/03/29(火) 02:58:49 ] Mac使うのを止めるのがオススメ！ 469 名前：デフォルトの名無しさん mailto:sage [2005/03/29(火) 04:16:23 ] そうだね。 爪弾きにされ、余計な苦労ばかり増えて良いところなんて一つもないし。 470 名前：デフォルトの名無しさん mailto:sage [2005/03/29(火) 08:45:40 ] finkに頼らんでもHugsなら自分でmakeすればOKだし GHCは本家にバイナリが用意してある 471 名前：デフォルトの名無しさん mailto:sage [2005/03/30(水) 02:58:36 ] マイナー言語やる上で Mac は悪くないプラットフォームなんだけどね。 ML も主要なのは殆ど対応しているし。 472 名前：デフォルトの名無しさん mailto:sage [2005/03/30(水) 03:06:14 ] haskellよりもMLの方が文法綺麗じゃないですか？？そんなことないかな… 473 名前：デフォルトの名無しさん mailto:sage [2005/03/30(水) 03:15:35 ] ML、特にSMLはDefinitionが出て以来そのままだからなあ(97年に改訂されたけど)。 Haskellの方も一応98はあるけど、そうじゃない部分は随時面白い話があるたびに 手を入れてきた感じなのは否めないのかも。 474 名前：デフォルトの名無しさん [2005/03/31(木) 19:07:35 ] www.amazon.co.jp/exec/obidos/ASIN/0201342758/ www.amazon.co.jp/exec/obidos/ASIN/0521644089/ この 2 冊が欲しいのですが、中を確かめてから欲しいので 都内で在庫がある店知りませんか？ 東京駅〜秋葉原〜神保町あたりだと助かります。 475 名前：デフォルトの名無しさん mailto:sage [2005/03/31(木) 22:26:11 ] グランデに電話してみれば? 476 名前：デフォルトの名無しさん [2005/03/31(木) 22:33:33 ] > 474 Haskell: The Craft of Functional Programmingはかなりおすすめです。 買って損はないと思います。 477 名前：474 mailto:sage [皇紀2665/04/01(金) 10:58:40 ] 結局 Amazon で注文しました。 www.hatena.ne.jp/1087912125 ここに載っててありそうなところには電話かけましたが 店頭に在庫はないみたいでした。Amazon がない時代は みんなどうしていたんだろう…。大学生協で取り寄せかな。 478 名前：デフォルトの名無しさん mailto:sage [皇紀2665/04/01(金) 18:28:57 ] >>474 神田行けばいくらでもあるだろ。 デカイ本屋で在庫あるか訊いてみろ。 479 名前：474 mailto:sage [皇紀2665/04/01(金) 19:57:19 ] >>478 私には >>477 以外に出てくる本屋以外にデカイ本屋は知りません。 おすすめのコンピュータの洋書をあつかっている店の名前が分かる なら教えてください。 480 名前：デフォルトの名無しさん mailto:sage [int 2ch ＝05/04/01(金) 20:48:22 ] >>479 www.book-kanda.or.jp/town/map/map.htm www.book-kanda.or.jp/town/newbook/index.htm 481 名前：474 mailto:sage [int 2ch ＝05/04/01(金) 21:56:48 ] 明日、神田を周ってこようと思います。 ありがとうございました。 482 名前：デフォルトの名無しさん mailto:sage [int 2ch ＝05/04/02(土) 12:12:07 ] >>474 君見て自分も思い出したように買ったよ まあ回っても見つからないと思うよ 483 名前：474 mailto:sage [2005/04/03(日) 11:46:47 ] 昨日行ってきました。 水道橋駅を降りて、神保町駅まで歩きその周辺の本屋を巡りました。 コンピュータの洋書を扱っているのが、三省堂の本店しか見つける ことができませんでした。在庫はあらず。 いくらでもあるとのことなのですが、探しかたが悪いのか、 >>482 さんの言う通りなのか不明です。 Amazon から Haskell: The Craft of Functional Programming は届いたので読みすすめてます。結構面白いです。 484 名前：デフォルトの名無しさん mailto:sage [2005/04/04(月) 04:15:17 ] >>483 > コンピュータの洋書を扱っているのが、三省堂の本店しか見つける > ことができませんでした。 え、マジ? それは探し方が悪いのでは。 485 名前：474 mailto:sage [2005/04/06(水) 17:39:21 ] そうですよね。もっと探検してみます。 486 名前：デフォルトの名無しさん mailto:sage [2005/04/07(木) 12:56:04 ] オレも他にはゆうりんどう(字わからん)くらいしか思いつかない。いいとこあるなら教えてcray。 487 名前：デフォルトの名無しさん mailto:sage [2005/04/07(木) 14:51:05 ] 洋書なんて読むなよこの非国民が 488 名前：デフォルトの名無しさん mailto:sage [2005/04/07(木) 15:41:08 ] 英語も読めないの？国辱。 489 名前：デフォルトの名無しさん mailto:sage [2005/04/07(木) 20:21:03 ] 洋書 = 英語書かよ、この拝米主義者め 490 名前：デフォルトの名無しさん mailto:sage [2005/04/07(木) 20:31:05 ] 英語＝拝米の方がよっぽど（ｒｙ 491 名前：デフォルトの名無しさん mailto:sage [2005/04/07(木) 20:48:29 ] Haskell: The Craft of Functional Programming は英語だろ？ 国辱どもが。 492 名前：デフォルトの名無しさん mailto:sage [2005/04/07(木) 20:57:10 ] 当たり前のことを言うな一知半解野郎 493 名前：デフォルトの名無しさん mailto:sage [2005/04/07(木) 21:30:11 ] これがゆとり教育の弊害か。確かに国辱。 494 名前：デフォルトの名無しさん mailto:sage [2005/04/07(木) 22:14:10 ] >>487-493 レベルの低い話は止めろ 495 名前：デフォルトの名無しさん mailto:sage [2005/04/08(金) 22:34:40 ] 科学とかに関しては日本なんてどうでもいい罠。 496 名前：デフォルトの名無しさん mailto:sage [2005/04/09(土) 09:19:13 ] Haskellの勉強してると類(kind)という言葉が出てくる。 手持ちの関数型言語の参考書では見かけないので、類を扱うのは比較的 珍しいことなのかと思うのだけれど、どう? なんでHaskellには類が必要なの? 497 名前：デフォルトの名無しさん mailto:sage [2005/04/09(土) 13:07:49 ] Haskellだと、普通の多相型（[]とかMaybeとか）に加えて 「型構築子から型構築子への写像」（StateTとか）のようなものを定義できるから、 単に「無引数の型構築子」だとか「１引数の型構築子」とかいうだけじゃ不十分だからだと思う。 まあ、似たような機能のあるC++では「類」なんて聞いたこともないんだけど。 関数型言語についてはよく知らんので誰かフォローよろしく。 498 名前：デフォルトの名無しさん [2005/04/09(土) 13:52:32 ] WinXPで動くHaskellのコンパイラってある？ 499 名前：デフォルトの名無しさん mailto:sage [2005/04/09(土) 13:59:36 ] >>498 え？GHCがwindowsで動くでしょ？？？ 500 名前：デフォルトの名無しさん mailto:sage [2005/04/09(土) 14:23:03 ] 　　　　　　　　　　　∩ノ 　　　　　　　　　　／　つ 　　　　　　　　 ／　／　　／￣￣￣￣ 　　　　　　∧ ∧／　　 ＜　５００ゲットぉぉぉぉ！ 　　　　 ⊂(ﾟДﾟ ） 彡　　 ＼ 　　　　　　　 ⊂彡　　　　 　￣￣￣￣ 　　 ＿＿__●●●＿__ ﾊﾞｲｰﾝ 　／ 〇 〇 ＼|／　 ／| 　|￣￣￣￣￣￣￣| 501 名前：デフォルトの名無しさん [2005/04/09(土) 17:40:30 ] 498ではないが、 WINXP sp2 で GHC のインストーラはエラーで落ちました。 hugs98 は簡単にインストールできました。 502 名前：デフォルトの名無しさん [2005/04/10(日) 11:03:22 ] 言語仕様を見るとHaskellの方がはるかに機能的に見えるのだけど、実用面を見るとHaskellはボロボロ。 結局、開発するならOCamlに軍配があがるんだよね。 503 名前：デフォルトの名無しさん mailto:sage [2005/04/10(日) 11:31:38 ] だから品質には期待するなとあれほど（ry 504 名前：デフォルトの名無しさん mailto:sage [2005/04/10(日) 13:23:42 ] だからghcにバグはないとあれほど（ry 505 名前：デフォルトの名無しさん mailto:sage [2005/04/11(月) 11:57:34 ] >>497 Haskellよく知らんけど、合ってるんじゃん？ C++のテンプレートは展開してからチェックするので、いらないんでしょ。たぶん。 506 名前：デフォルトの名無しさん mailto:sage [2005/04/11(月) 12:08:44 ] >>463 >たぶんlazyな言語に対して割り込みのformal semanticsを与えた人はいないと思う。 >もの凄く難しい Haskellよく知らんので何か勘違いしてるかもしれんが、 research.microsoft.com/Users/simonpj/Papers/papers.html のA semantics for imprecise exceptionsの5.1節とか Imprecise Exceptions, Co-Inductivelyは違うの？ 507 名前：デフォルトの名無しさん mailto:sage [2005/04/11(月) 20:32:57 ] Haskellで正規表現は標準でサポートされているのですか? 508 名前：デフォルトの名無しさん mailto:sage [2005/04/11(月) 20:44:09 ] >>507 www.google.co.jp/search?hl=ja&q=Haskell+regex&lr= 509 名前：デフォルトの名無しさん mailto:sage [2005/04/15(金) 17:30:13 ] >>501 ３月２１日位にインストーラーが変わっている様なのですが、それでインストールしても 駄目ですか？ 当方はXP SP2でインストールできています。 510 名前：デフォルトの名無しさん [2005/04/15(金) 19:37:33 ] つーかインストーラーぐらいちゃんと作れませんか？ 511 名前：501 mailto:sage [2005/04/16(土) 12:07:17 ] >>509 最新版でインストールもできましたし、ちゃんと動きました。 ありがとうございます。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef