関数型プログラミング言語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 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 最新版でインストールもできましたし、ちゃんと動きました。 ありがとうございます。 512 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 22:00:14 ] imprecise exception 云々よりどっちかというと Asynchronous exceptions in Haskell の方が該当する希ガス。 513 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 22:05:22 ] この言語扱うのに数学の知識必須みたいだな。初めて使ったが… 514 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 22:19:40 ] そうなの？どの辺でそう感じた？ 515 名前：デフォルトの名無しさん mailto:sage [2005/04/17(日) 22:33:46 ] >>514 いや、大したことじゃないんだけど、集合論とか。 516 名前：デフォルトの名無しさん [2005/04/18(月) 01:09:42 ] 文系お断り言語 517 名前：デフォルトの名無しさん mailto:sage [2005/04/18(月) 11:59:50 ] Text.Regex は入力を不必要に最後まで読んでくれたりして微妙に嬉しくないんだよなあ。 518 名前：デフォルトの名無しさん [2005/04/18(月) 23:56:27 ] で、この言語なんて読むんだ？ はすくぇる？ 519 名前：デフォルトの名無しさん mailto:sage [2005/04/18(月) 23:57:21 ] ハスケルカリー 520 名前：デフォルトの名無しさん mailto:sageチラシの裏にでも書いています [2005/04/20(水) 23:24:41 ] GHCのコンパイルがなかなか終わらない。 ひょっとして、マシンパワーがかなり必要なの? 普段使っているのはおんぼろラップトップなんだよね。 521 名前：デフォルトの名無しさん mailto:sage [2005/04/20(水) 23:45:27 ] >>520 こちとら、PowerBookG4(867MHz,RAM640MB)で 2ステージ+testsuite が6〜8時間。 522 名前：520 mailto:sage [2005/04/21(木) 08:32:54 ] 朝起きたら無事終わってた GHCは普通のコンパイラとは内部構造がかなり違うようですな。 523 名前：デフォルトの名無しさん [2005/04/22(金) 20:52:35 ] 某スレでハスケルでGUIは辛いと言われてしまいました。 誰か反論の文句をおねがいします。 524 名前：デフォルトの名無しさん mailto:sage [2005/04/22(金) 20:54:26 ] だからあれほどHaskellは実用アプリケーション作成向きでは無いと(小一時間 525 名前：デフォルトの名無しさん mailto:sage [2005/04/22(金) 21:08:24 ] だからあれほどghcは完璧だと（ｒｙ 526 名前：デフォルトの名無しさん mailto:sage [2005/04/23(土) 05:07:16 ] 情処の記事を読んで触ってみた。 527 名前：デフォルトの名無しさん mailto:sage [2005/04/23(土) 13:52:46 ] 今月からFPの連載だね。 528 名前：デフォルトの名無しさん mailto:sage [2005/04/23(土) 23:02:55 ] FP ってなんですか? 529 名前：デフォルトの名無しさん mailto:sage [2005/04/24(日) 00:06:54 ] 一時期流行った自分視点のゲームだろ 530 名前：デフォルトの名無しさん mailto:sageネタをネタと(ry [2005/04/24(日) 13:13:48 ] そりゃFPSだ。 動的計画法のことだろ？ 531 名前：デフォルトの名無しさん mailto:sage [2005/04/24(日) 18:54:43 ] Functional Programmingのことかと思った。 532 名前：デフォルトの名無しさん mailto:sage [2005/04/24(日) 21:37:20 ] > 動的計画法のことだろ？ それはDP(dynamic programming) 533 名前：デフォルトの名無しさん mailto:sage [2005/04/24(日) 23:26:26 ] わかりにくいネタでごめん 534 名前：デフォルトの名無しさん mailto:sage [2005/04/25(月) 20:31:20 ] まじでどこで連載してるのか教えてくれ 535 名前：デフォルトの名無しさん mailto:sage [2005/04/25(月) 20:56:53 ] 情報処理学会誌ですね。 久しぶりにビニールを開けてみました。 相変わらず読むところが少ない…。 536 名前：デフォルトの名無しさん mailto:sage [2005/04/27(水) 11:28:18 ] 辛ければヨーグルトを使う 537 名前：デフォルトの名無しさん [2005/04/29(金) 15:38:56 ] GHCがpanicっていってコンパイル止まったよ。 間違ったソースの中には対応しきれないものがあるようだ。 538 名前：デフォルトの名無しさん mailto:sage [2005/04/29(金) 16:42:43 ] >>537 嘘はいけない。ghcにバグはない。 539 名前：デフォルトの名無しさん mailto:sage [2005/04/29(金) 16:49:25 ] ghc のバグじゃなくてコンパイルするソース側の 540 名前：デフォルトの名無しさん [2005/04/29(金) 16:57:37 ] ＞嘘はいけない。ghcにバグはない。 なんか凄い事聞いた気がする。 ほんと？ 541 名前：デフォルトの名無しさん mailto:sage [2005/04/29(金) 18:00:14 ] ほんとにそうならghcのwebにバグレポートのリンクがあったりしないべ。 542 名前：デフォルトの名無しさん mailto:sage [2005/04/29(金) 18:49:30 ] Ｆｉｎａｎｃｉａｌ　Ｐｌａｎｎｅｒ 543 名前：537 [2005/04/29(金) 21:25:14 ] ほんとだよ。GHC cannot process input file. please report this to us とか出たもの。 もちろんソースは正しくないやつなんだが、それでもコンパイラが適切なエラーメッセージを 出せずに止まったことは事実。 544 名前：デフォルトの名無しさん mailto:sage [2005/04/29(金) 22:13:13 ] ああ、拡張機能や新機能を使うと稀に起こるよ、panic。 ちゃんと報告してあげて下さい。 545 名前：デフォルトの名無しさん mailto:sage [2005/04/30(土) 18:45:06 ] 例のHaskell連載って公開してるんだね www.ipsj.or.jp/07editj/promenade/ 546 名前：デフォルトの名無しさん [2005/04/30(土) 19:44:34 ] ハスケル！ハスケル！ 547 名前：デフォルトの名無しさん mailto:sage [2005/04/30(土) 21:27:04 ] 　　　 _ 　∩ 　　(　ﾟ∀ﾟ)彡 　　(　 ⊂彡 　 　|　　　|　 　 　し ⌒Ｊ 548 名前：デフォルトの名無しさん [2005/05/01(日) 20:14:08 ] LISP Macro みたいなことできますか？ -- dotimes :: n -> (n -> IO()) -> IO() dotimes n f = __dotimes 0 where __dotimes i | i >= n = return () | otherwise = do (f i) __dotimes (i + 1) -- dotimes 10 ( \x -> putStr (show x)) こんなもの？ 549 名前：デフォルトの名無しさん mailto:sage [2005/05/01(日) 23:02:28 ] 遅延評価だし、アクションが第一級の対象だから、 全ての関数がマクロであるようなものじゃないか？ 550 名前：549 mailto:sage [2005/05/01(日) 23:05:09 ] なんかピントの外れたことを言ったな。 誰かフォローよろしく。 551 名前：デフォルトの名無しさん mailto:sage [2005/05/01(日) 23:19:07 ] dotimes' n f = sequence_ [ f n' | n' <- [0..n-1] ] main = dotimes' 10 (putStr.show) 552 名前：無理です。 mailto:sage [2005/05/01(日) 23:20:58 ] 例えばhaskellのif if p then c else a は、 case p of 　True -> c 　False -> a の構文糖衣とみなせる。逆でもよい。 マクロの代わりになるかどうかは、自分のifをcaseで定義できるかどうかを 考えてみればわかる。 myif mycase さあどうぞ。

---

---

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

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