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

1 名前：デフォルトの名無しさん mailto:sage [2007/10/30(火) 20:28:13 ] haskell.org www.haskell.org/ 日本語サイト www.sampou.org/cgi-bin/haskell.cgi www.shido.info/hs/ 過去ログ 関数型プログラミング言語Haskell Part1 pc.2ch.net/tech/kako/996/996131288.html Part2 pc2.2ch.net/test/read.cgi/tech/1013846140/ Part3 pc8.2ch.net/test/read.cgi/tech/1076418993/ Part4 pc8.2ch.net/test/read.cgi/tech/1140717775/ Part5 pc8.2ch.net/test/read.cgi/tech/1149263630/ Part6 pc11.2ch.net/test/read.cgi/tech/1162902266/ Part7 pc11.2ch.net/test/read.cgi/tech/1174211797/ ・2chの仕様により、行頭の半角スペースは表示されません。 　コードをインデントしたいときは、代わりに または全角スペースを使うことができます。 477 名前：デフォルトの名無しさん mailto:sage [2008/01/30(水) 16:16:33 ] >>474 俺は、再帰でない書き方をすぐに思い付かなかったときだけ再帰を使ってる その例なら迷わずsum [0..100000]だな 478 名前：474 mailto:sage [2008/01/30(水) 16:19:09 ] >>477 ありがとうございます。 その場合、リストはどのように処理されるのでしょう？ つまり、1000番目の要素を足しているときに、999番以下の要素はもはや必要ないわけですけれど、 sum関数が終了するまでメモリに記憶されているのでしょうか？ 479 名前：デフォルトの名無しさん mailto:sage [2008/01/30(水) 16:29:10 ] >>478 どこからも参照されていないから、いつでもGCされうる状態 実際にメモリ上に残っているかどうかはGCのタイミング次第 480 名前：474 mailto:sage [2008/01/30(水) 16:34:17 ] >>479 ありがとうございます。 では逆に1000番目の要素を足しているときに、1001番目の要素はすでに生成されているのでしょうか？ 足す直前に生成されるのでしょうか？ 481 名前：デフォルトの名無しさん mailto:sage [2008/01/30(水) 16:50:17 ] >>480 > 1001番目の要素 とはどういうものを意識してる？具体的にｋｗｓｋ 482 名前：デフォルトの名無しさん mailto:sage [2008/01/30(水) 16:52:05 ] >>480 処理系と最適化オプションに依る 素朴な遅延評価だと前者 sum [0..100000] ==> foldl (+) 0 [0..100000] ==> foldl (+) 0 (0:[0+1..100000]) ==> foldl (+) (0+0) [0+1..100000] ==> foldl (+) (0+0) (1:[1+1..100000]) ==> foldl (+) (0+0+1) [1+1..100000] … ==> foldl (+) (0+0+1+2+...+100000) [] ==> 0+0+1+2+...+100000 … だけど、例えばghc-6.8.2で-O2だと、Integer用に特殊化されたsumの実装が使われて、 foldlの蓄積引数が積極評価されるので後者になる 483 名前：482 mailto:sage [2008/01/30(水) 17:08:24 ] 分りにくい気がしたので補足 どっちの評価順でも、リスト生成は遅延される ただし、素朴に遅延評価をやると足し算まで遅延するので、結果としてリストを走査し終わるまで足し算を開始できない GHCの最適化は足し算を遅延させないようにするもの 484 名前：474 mailto:sage [2008/01/30(水) 17:08:53 ] >>482 ありがとうございます。 とても参考になりました。 485 名前：デフォルトの名無しさん mailto:sage [2008/01/30(水) 17:56:59 ] イータ簡約って奴でしょ。 www.lambda-bound.com/book/lambdacalc/node21.html 486 名前：デフォルトの名無しさん mailto:sage [2008/01/30(水) 18:22:54 ] 質問です。 sourceforge.net/project/showfiles.php?group_id=168626 で6.8.1用のwxHaskellをダウンロードしてインストールし、 Windows XPでwxHaskellのサンプル(Minimal.hs)を ghc --make Minimal.hs としてコンパイルしてみたのですが、 出来上がったMinimal.exeをエクスプローラからダブルクリックで実行すると 目的のウインドウとコマンドプロンプトのウインドウの両方が表示されてしまいます。 コマンドプロンプトのウインドウはとても邪魔なのですが、 これが表示しないようにするにはどうすればよいのでしょうか？ さらに、実行ファイルを配布する際にDLLを付属するのは格好が悪いので、 DLLを使わないコンパイル方法はないものでしょうか？ 487 名前：486 mailto:sage [2008/01/30(水) 18:29:59 ] 前者の問題は過去スレを検索して解決できました。 コンパイルオプションに-optl-mwindowsをつければよいのですね。 早とちりしてすみません。 後者の方はまだ解決していません。 488 名前：486 mailto:sage [2008/01/30(水) 19:01:48 ] ファイルがめちゃくちゃでかくなると思っていろいろ調べたのですが、 e.tir.jp/wiliki?hdn > よく読んだら、「余分なデータの削除なるオプションで500KB弱になった」と書いてある。それらしいオプションは…… > > --overlay=strip strip any extra data attached to the file [DANGEROUS] > > なんか、「DANGEROUS」って書いてあるんだが。 とありますが、ghc6.8.1ではそのオプションは削除されています。 e.tir.jp/wiliki?hdn > stripと言えば、binutils付属のstripコマンドもあった。 > ... > strip -s hsddd01.exe > 2.3Mが1.1Mになった。バイナリの半分以上がシンボルでできていたのか……。 この方法はマニュアルの www.haskell.org/ghc/docs/latest/html/users_guide/smaller.html に言及されていました。 -funfolding-use-threshold0 というオプションをMinimal.hsのコンパイル時につけると逆に若干ファイルサイズが増えました。 489 名前：デフォルトの名無しさん [2008/01/31(木) 12:20:45 ] GHC6.8.2(Win)でbytestring-0.9.0.4をつかって -profフラグ付でコンパイルしようとすると Perhaps you haven't installed the profiling libraries for package bytestring-0.9.0.4? と出て失敗してしまいます。（profフラグをつけなければ成功します） 対処方ご存知の方いらっしゃいますか？ つか、ByteStringに変更してさらに遅くなった俺涙目 490 名前：デフォルトの名無しさん mailto:sage [2008/01/31(木) 17:57:26 ] >>488 その--overlay=stripはupxのオプションだろ >>489 そのbytestringパッケージはどうやってインストールした？ cabalなら、configureのときに-pオプションを付けないとプロファイル版ライブラリがインストールされない 491 名前：デフォルトの名無しさん mailto:sage [2008/02/01(金) 02:37:31 ] 質問です。 windows上でファイルのアンロックを明示的に行うにはどうすればよいのでしょうか？ ロックがかかったままのファイルに書き込みする必要があるのです。 492 名前：489 mailto:sage [2008/02/01(金) 12:44:40 ] >>490 なるほど、ありがとうございます。 -p付でインストールしなおしてみます。 493 名前：デフォルトの名無しさん [2008/02/03(日) 17:41:55 ] % cat hello.hs main = putStrLn "こんにちは、世界!" % ghc hello.hs -o hello % ./hello ...... ←[ここは文字化け] UTF-8でソースを書いて、コンパイル&実行したのですが、 文字化けします。 ver6.6.1(Ubuntu7.10のバイナリパッケージを使用)なのですが、 UTF-8は使えないのでしょうか? コンパイルオプションが必要ですか? 494 名前：デフォルトの名無しさん mailto:sage [2008/02/03(日) 18:05:27 ] >>493 >>5-6参照 495 名前：492 mailto:sage [2008/02/03(日) 18:44:28 ] >>493 どうもありがとうございます。 調べてみます。 496 名前：デフォルトの名無しさん mailto:sage [2008/02/03(日) 21:46:49 ] >>469 ふつケルの終わりのほうに超簡易Parsec実装の解説がある。 497 名前：デフォルトの名無しさん [2008/02/05(火) 12:00:00 ] do記法がどのように(>>=)変換されているのかがよくわからないです。 たとえば do { a <- return 1; Just 2 } は return 1 >>= (\a -> Just2) なのはぎりぎりわかったような感じですが 3つ以上 do { a <- return 1; Just 2; return a } だとどうなるのでしょうか？ 498 名前：デフォルトの名無しさん mailto:sage [2008/02/05(火) 12:13:23 ] 仕様を読めれば仕様を読むのが一番早い 499 名前：デフォルトの名無しさん mailto:sage [2008/02/05(火) 12:29:01 ] >>497 最初の一つだけ変換する return 1 >>= (\a -> do Just 2; return a) 残ったdoも同じ規則で変換すれば良い。最終的には、 return 1 >>= \a -> Just 2 >> return a 500 名前：497 mailto:sage [2008/02/05(火) 12:31:43 ] >>499 なるほど！ありがとうございます！ 501 名前：デフォルトの名無しさん mailto:sage [2008/02/06(水) 15:33:19 ] >>500 do { a <- return 1 　　; Just 2 　　} って書くとemacsで見た目きれいにレイアウトできる。 >>=を使った場合、 return 1 >>= \a -> Just 2 って書くときれいにレイアウトできる。 単に見た目の話だけど＾＾；； 502 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 00:28:19 ] Haskell でも型のキャスト出来るんかね リファレンス見てたらそれっぽいのが･･･。 503 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 00:31:47 ] >>502 (1::Int32) 504 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 11:53:24 ] >>503 キャスト自体は無いから、いちいち関数を使う 数値型の変換ならfromIntegralとかfloorとか ポインタの変換ならcastPtr ダウンキャストみたいに、実行時のデータから型情報を復元するのはData.Typeable.cast >>503の構文は、型推論の補助として型を指定してるだけで、変換してるわけじゃない 505 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 16:20:26 ] ダウンキャストに相当するのがあるのか。 506 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 20:12:04 ] unsafeCoerceはどうよ？ 507 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 20:26:50 ] >>506 忘れてた 変換前と変換後の型の内部表現が同じであることを前提として、問答無用で型を変換するのが unsafeCoerce :: a -> b Data.Typeableのキャストはこれをラップして安全にしたもの 508 名前：デフォルトの名無しさん mailto:sage [2008/02/09(土) 14:13:19 ] ふつうのHaskell読み終えて、WikiBookとか眺めてるんですけど、ある程度まとまった Haskellプログラムの実例が載ってる本というと、Craftになりますか？ ちょっと高価な本なので、買おうか迷ってます。 509 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 15:35:27 ] >>94-96 research.microsoft.com/~simonpj/papers/history-of-haskell/index.htm 4.4 Declaration style vs expression style 510 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 19:30:20 ] Kleisliってなんて読むの？ 511 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 19:31:04 ] クライスリーじゃないの？ 512 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 19:33:20 ] >>510 クレイスリ 513 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:04:55 ] クレイスリ に一致するページは見つかりませんでした。 514 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:32:57 ] クライスリーだって該当する記述が２ｃｈしかないじゃないかよ。 515 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:35:58 ] とりあえずドイツ語っぽい綴りを ドイツ語の規則に従って読んでる点で クライスリーの方が信憑性はある 516 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:39:36 ] TeXをテックと読むのはおかしいですか Linuxをライナックスと読むのはおかしいですか 517 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:43:06 ] おかしい 518 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:44:15 ] ↑でもそういう風に読んでる人結構いるよ 519 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:45:10 ] 大団円を大円団と勘違いしている人は それはそれで正しいと申すか 520 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:46:27 ] 俺、小さいころミートボールとゲートボールの違いが分からなかった 521 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:47:54 ] >>516 これは米語読みだから、 金日正を「きんにっせい」と読むようなもの。 特に問題ない。 522 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 20:48:09 ] 英語っぽっくウィヌックスで 523 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 21:34:53 ] クライスリーでおｋ？ 524 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 21:43:55 ] 別に何でもＯＫ 525 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 21:44:19 ] 数学板で聞いてみたら？ 526 名前：デフォルトの名無しさん mailto:sage [2008/02/15(金) 22:15:00 ] エルアイエヌユーエックスって読んでた・・・ 527 名前：デフォルトの名無しさん [2008/02/15(金) 22:28:35 ] dev.ariel-networks.com/Members/mizyo/haskell306e30b930ec30c330b730b930c630e03068stm306b306430443066-305d306e3 頭の悪いHaskell厨増殖しすぎｗｗｗｗｗｗｗｗ 528 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 08:55:10 ] >>527 Haskellコミュニティを大事にする積もりがあるなら、間違ってると思うところを指摘してやれよｗ 529 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 21:01:38 ] ゆりしー(´；ω；`)かわいそうです　みなとらじお 君が主で執事が俺で 02 www.nicovideo.jp/watch/sm2336941 伊藤静「じゃあ、次もｗｗｗ」 後藤邑子「斬ったほうがいい？ｗｗｗ」 伊藤「次は斬る？ｗｗｗ」 後藤「どうするｗｗ」 伊藤「ペンネーム『心が綺麗な天使』から頂きましったｗｗ(フンッｗｗｗ) 私はこの日本に住むのにはピュアすぎます。どのようにしたら天使のような私がこの今の日本に馴染めるのでしょうか？」 後藤「.........ウザい」 二人「キャッハハハハハｗｗｗｗｗ」 伊藤「ちょほんとさあ、大丈夫？ｗｗｗ」 後藤「おい天使、おいおい自称天使ｗｗ」 伊藤「自分が天使だと思ってること自体がちょっと間違ってんじゃないの？っていうねｗｗｗ」 後藤「うん。ね。ちょっと軽く(精神病院に)通院してみたほうがいいんじゃないの？ｗｗｗ　もしくは、今の日本に馴染めるようにちょっと汚れちゃえよｗｗｗｗ」 伊藤「それかもう日本出て行ったらいいんじゃないの？ｗｗｗ」 後藤「天使が住める国にｗｗｗｗｗｗｗ　なんかエルフの国とかに行ったらいいんじゃないの？ｗｗｗｗ」 伊藤「妄想の中とかに(プフッｗｗ)行っちゃえばいいんじゃないのｗｗｗ」 後藤「コワイヨーｗｗｗコワイヨーｗｗｗｗｗ」 二人「クックックックｗｗｗｗ」 530 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 09:51:50 ] Haskellのようなピュアな言語じゃ薄汚れた現実世界のアプリは書けないと言いたいのか? 531 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 12:06:05 ] >>530 ffiが実装された時点でピュアじゃねーよ。 これからはHaskellを純粋関数型言語なんて呼ぶのはやめようぜ。 532 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 12:16:09 ] 別にffiも変なことしなけりゃ純粋さを壊さないだろ 533 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 12:28:40 ] >>532 おっと、そんなこと言っちゃうのか？ 純粋でない例が一つでもあれば、それは純粋じゃないんだよ。 534 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 12:39:56 ] まあそうだ でも一々「ほぼ純粋な関数型言語」とか言うのか？ 535 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 12:48:31 ] いや、ただの関数型言語だよ。 純粋なんて言葉をつけるのはおこがましい。 536 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 12:52:23 ] いや、でも滅多に副作用を使わないのは事実だし、重要な特徴じゃん 537 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 12:57:12 ] 「モナディックI/Oを採用した関数型言語」でいいんじゃね 538 名前：デフォルトの名無しさん [2008/02/19(火) 08:11:48 ] HaskellによるHaskellのための開発環境Leksah 0.1 ttp://builder.japan.zdnet.com/news/story/0,3800079086,20367512,00.htm 539 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 11:08:19 ] 副作用無しでなんでもできれば純粋ってことでいいんじゃね。 SchemeやMLは副作用無しじゃI/Oができないし。 540 名前：デフォルトの名無しさん mailto:sage [2008/02/20(水) 12:44:17 ] また公式落ちてるぞ よく落ちる糞公式だな 541 名前：デフォルトの名無しさん mailto:sage [2008/02/21(木) 21:11:23 ] LuaってHaskell系だったのか pc11.2ch.net/test/read.cgi/dtm/1194648279/216 542 名前：デフォルトの名無しさん mailto:sage [2008/02/21(木) 21:29:53 ] そのスレで既に十分突っ込まれてるじゃないか 543 名前：デフォルトの名無しさん mailto:sage [2008/02/21(木) 22:42:17 ] haskellのプログラムは巨大化する傾向があるようですが、 Cで作ったファイル並みに小さくするコンパイルオプションとかってないですかね？ 544 名前：543 mailto:sage [2008/02/21(木) 22:43:03 ] すみません、言葉足らずでした。 haskellで作った実行ファイルが巨大化する傾向がある、といいたかったのです。 545 名前：543 mailto:sage [2008/02/22(金) 20:08:04 ] とりあえず1/10ぐらいのサイズにしたいのです。 546 名前：デフォルトの名無しさん mailto:sage [2008/02/22(金) 21:22:26 ] Cだって大きなプログラム作れば大きいだろ。 547 名前：デフォルトの名無しさん mailto:sage [2008/02/22(金) 21:29:57 ] とりあえず ・GHCの最新版を使う ・最適化オプションを有効にする ・strip くらいじゃないか？ あとUPXとかで圧縮するのが有効というのを読んだ 548 名前：543 mailto:sage [2008/02/22(金) 22:16:46 ] >>546 論外 549 名前：デフォルトの名無しさん mailto:sage [2008/02/23(土) 00:47:37 ] 昔のGHCならCのソース出力するオプションがあったらしいんだが，今はないのか？ そもそもなんで実効ファイルが巨大化するのか調べた上での質問なら答えは直ぐに見つかるんだけどな 550 名前：デフォルトの名無しさん mailto:sage [2008/02/23(土) 00:49:21 ] 現状ghcではruntimeだけで200KBくらいになってしまうので無理かと。 jhcとかyhcならば判らないですけども。 551 名前：デフォルトの名無しさん mailto:sage [2008/02/23(土) 08:40:01 ] libcや基本DLLよりずっと小さいよ。 Windowsの場合は、サードパーティが使える標準配布方式がないから、 静的リンクするか、インストーラー配布形式が必要になって、 それでこういう質問が増えるんだろうね。 お決まりの開発環境を使わないと、配布しづらい。 552 名前：デフォルトの名無しさん [2008/02/23(土) 13:39:30 ] ghc だって libc に依存してるんでしょ 553 名前：デフォルトの名無しさん mailto:sage [2008/02/23(土) 17:07:48 ] C++だってhello worldでもバカ正直にスタティックリンクすれば何百KBとかなったりするじゃん ダイナミックリンクでごまかしてたりするけど 機能持たせた言語の実行ファイルサイズが膨らむのはトレードオフ 554 名前：デフォルトの名無しさん mailto:sage [2008/02/24(日) 07:49:13 ] Craft買って読んでますが、練習問題の解答ってどっかにありますでしょうか。 555 名前：デフォルトの名無しさん mailto:sage [2008/02/24(日) 12:24:26 ] 以前、IOモナド関連部分の回答を適当なワードでググった時はヒットしたよ 10分くらい探したけど 556 名前：554 mailto:sage [2008/02/24(日) 19:38:46 ] つまり、ちゃんとした解答集のようなものは無いっちゅう ことですかorz そんな難しいものも少なそうなのでいいのかな 557 名前：デフォルトの名無しさん mailto:sage [2008/02/24(日) 19:51:21 ] >>556 現状では、ある程度関数型言語でのプログラミングの経験をつんだ人が Haskellを触るという感じなので、 言語仕様を見たらわりとすぐに使えるという人向きの文書しか出回っていない。 そういう意味では初心者はとっつきにくいかもしれないね。 558 名前：デフォルトの名無しさん mailto:sage [2008/02/24(日) 20:19:53 ] また公式が落ちてやがる！！！！！！！！ なめやがって！！ マジ切れそうだ 559 名前：デフォルトの名無しさん mailto:sage [2008/02/24(日) 20:47:32 ] すみません、こちらのファイアウォールのせいで公式につながらなかっただけでした・・・ お騒がせしました 560 名前：デフォルトの名無しさん mailto:sage [2008/02/24(日) 22:59:49 ] >>558-559 wwwwwwwww 561 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 01:50:16 ] ｗｗｗｗｗｗｗｗｗｗｗ 562 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 01:58:36 ] wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww 563 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 02:08:33 ] つwww.blue.sky.or.jp/grass/ 564 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 20:06:50 ] 大卒で正社員じゃない奴ってこのスレに多そうだなw 知ってるか？高卒の生涯賃金って高卒の半分なんだぜwww_? 中卒なんてもってのほか 可哀想にお前ら そんな俺はもう内定貰ってこのスレいますけどねw 565 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 20:18:49 ] あいぉ（＾ω＾ > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_?  > 高卒の生涯賃金って高卒の半分なんだぜwww_? > 高卒の生涯賃金って高卒の半分なんだぜwww_?  566 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 20:20:52 ] ＞高卒の生涯賃金って高卒の半分なんだぜwww_? 再帰的ですねwwwwww chingin x = chingin x / 2 こんな所でしょうか。 ちなみにスタックオーバーフローしましたが何か。 567 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 20:22:51 ] ちなみにこれね society6.2ch.net/test/read.cgi/gline/1190374317/ 568 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 20:26:57 ] どうやら釣られてしまったようだ。。。 569 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 20:43:02 ] >>566 せっかくHaskellなんだから chingin = chingin / 2 でいいよ 解は0とNaNと±Infと⊥だな 570 名前：デフォルトの名無しさん mailto:sage [2008/02/25(月) 21:39:37 ] Nan = NanはFalseなんじゃないの？ 571 名前：デフォルトの名無しさん mailto:sage [2008/02/26(火) 10:33:53 ] 何を言っているのかね 572 名前：デフォルトの名無しさん mailto:sage [2008/02/26(火) 15:30:47 ] やってみた。 > 0/0 NaN > 0/0 == 0/0 False > 1/0 Infinity > 1/0 == 1/0 True > 1/0 == 1/0/2 True 573 名前：デフォルトの名無しさん mailto:sage [2008/02/26(火) 15:32:37 ] ⊥なんて解で出てくるの？ 574 名前：デフォルトの名無しさん mailto:sage [2008/02/26(火) 17:18:37 ] >>573 undefined と undefined / 2 は、どっちも同じ結果になる 575 名前：デフォルトの名無しさん mailto:sage [2008/02/28(木) 14:35:34 ] 関数型言語関連で購読おすすめのブログをいくつか教えてください 576 名前：デフォルトの名無しさん mailto:sage [2008/02/28(木) 15:44:34 ] >>575 このスレ的にはここ ttp://planet.haskell.org/ 577 名前：デフォルトの名無しさん mailto:sage [2008/02/29(金) 21:06:53 ] haskellerの皆さんって、元々はSchemeとか使っていたんでしょうか？ 自分、関数型はハジメテでちょっと戸惑いがあったんですが、SICPを読んでみたら 何か分かってきました。 Haskellは今のところそういう文脈というか、経緯を知っている人たち向けってこと なんでしょうかね。

---

---

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

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