[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part16 (978ﾚｽ)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
820: デフォルトの名無しさん [sage] 2011/12/23(金) 22:43:16.57 >>819 > そうか。そうならデザインパターンと同じくつまらんものだ。 > 長くは続かん。 2ch で質問して、たった1個のレスでそんなに早く結論を得た気になるなんて ほんと馬鹿としか言いようがない このまま行くと、お前は一生その考えなんだろうなぁ http://echo.5ch.net/test/read.cgi/tech/1317958045/820
821: デフォルトの名無しさん [sage] 2011/12/23(金) 22:45:15.16 そもそもデザインパターンがつまらんという感覚が良く分からない http://echo.5ch.net/test/read.cgi/tech/1317958045/821
822: デフォルトの名無しさん [sage] 2011/12/23(金) 23:03:06.92 うむ。つまるとかつまらんてものではないわな http://echo.5ch.net/test/read.cgi/tech/1317958045/822
823: デフォルトの名無しさん [] 2011/12/23(金) 23:04:36.28 >>820 2ch http://echo.5ch.net/test/read.cgi/tech/1317958045/823
824: デフォルトの名無しさん [sage] 2011/12/24(土) 00:21:37.64 つまらない物だということにして安心したいんだよ そうすれば理解する努力しなくていいから http://echo.5ch.net/test/read.cgi/tech/1317958045/824
825: デフォルトの名無しさん [sage] 2011/12/24(土) 00:50:28.05 理解できない自分の頭を嘆く必要もなくなるし。 http://echo.5ch.net/test/read.cgi/tech/1317958045/825
826: デフォルトの名無しさん [sage] 2011/12/24(土) 05:44:34.49 >>804 , >>807 ありがとう。 でも、その理屈でIO()をモナドに抽象できるのだとすると、 「IO()で提供されていた種々の関数は全て、 モナドで提供されている演算子に置き換え可能である」 という前提条件が存在すると思うのだけど、どうだろう？ この条件が成立しないと、結局forallはIO()型の値を必要とするよね。 IO()をMonad m=>mで置き換え可能であるためには、forallを使っている コードも含めて、IO()型に関連する「全ての関数」のモナド版を 用意してあげなくちゃいけないと思うのだけど。 http://echo.5ch.net/test/read.cgi/tech/1317958045/826
827: デフォルトの名無しさん [sage] 2011/12/24(土) 08:41:32.68 >>=, returnとそれと対応するIO版の関数の範囲に限ってその前提条件は成立する。 それが型クラスとそのインスタンス宣言の意味するところで、 この前提条件の表明がMonad m =>みたいな型シグニチャのコンテキスト。 http://echo.5ch.net/test/read.cgi/tech/1317958045/827
828: デフォルトの名無しさん [sage] 2011/12/24(土) 08:55:33.85 >827の翻訳 一般にその前提条件は成立しない。 http://echo.5ch.net/test/read.cgi/tech/1317958045/828
829: デフォルトの名無しさん [] 2011/12/24(土) 11:15:48.48 cabal updateしようとしたんだけど落ちてる？ なんかタイムアウトしてしまうんだが。 取り急ぎ対応したいんだけど、ミラーとか指定できる？ http://echo.5ch.net/test/read.cgi/tech/1317958045/829
830: デフォルトの名無しさん [sage] 2011/12/24(土) 11:20:48.10 さっき俺の方でも実行してみたけど、問題なくいけた http://echo.5ch.net/test/read.cgi/tech/1317958045/830
831: デフォルトの名無しさん [sage] 2011/12/24(土) 11:24:36.08 なんか自分だけっぽいな。どうすればいいんだろう。 pingも帰ってこない。 http://echo.5ch.net/test/read.cgi/tech/1317958045/831
832: デフォルトの名無しさん [] 2011/12/24(土) 13:21:02.06 >>824 >>825 理解するとか理解できるとか言ってる時点でダメなんよ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/832
833: デフォルトの名無しさん [sage] 2011/12/24(土) 13:24:10.63 最初に言ったのはラオウ http://echo.5ch.net/test/read.cgi/tech/1317958045/833
834: デフォルトの名無しさん [sage] 2011/12/25(日) 03:51:05.99 DNS引けてないようだったら、 DNSサーバーをgoogle提供の8.8.8.8にしてみるとかどうだい。 /etc/hostsとかでipアドレス指定してもいいけど。 ほかの要因だったら、proxyかますとか。 http://echo.5ch.net/test/read.cgi/tech/1317958045/834
835: デフォルトの名無しさん [sage] 2011/12/25(日) 10:41:23.31 硬派なお前らなら勿論イヴもコーディングだったよな？な？ http://echo.5ch.net/test/read.cgi/tech/1317958045/835
836: デフォルトの名無しさん [sage] 2011/12/25(日) 11:41:56.88 遺伝子をコーディングしてました http://echo.5ch.net/test/read.cgi/tech/1317958045/836
837: デフォルトの名無しさん [sage] 2011/12/25(日) 12:07:45.95 アレをコーティングして入れてました http://echo.5ch.net/test/read.cgi/tech/1317958045/837
838: デフォルトの名無しさん [sage] 2011/12/25(日) 18:07:33.55 >>835 IO Monadをかぶせて副作用なし。 http://echo.5ch.net/test/read.cgi/tech/1317958045/838
839: デフォルトの名無しさん [] 2011/12/25(日) 18:31:48.82 いろいろ見てみたけどモナドってやっぱおれには難しいわ。 なんか純粋な関数型言語にふつうのプログラミング言語ならふつうにできることを 組み込みたいという空気かなと思うが、あまりそう強調されてもいないようだし、 まず目的がようわからんわ。 抽象化とか言うけど、それはモナドに限らん関数型の特徴だと思うし。 だれかこういうのちょっと教えてくれんかなスマンが。 http://echo.5ch.net/test/read.cgi/tech/1317958045/839
840: デフォルトの名無しさん [sage] 2011/12/25(日) 18:41:00.60 「こういうの」って何だ？ 具体的に訊いてくれ http://echo.5ch.net/test/read.cgi/tech/1317958045/840
841: [―{}@{}@{}-] デフォルトの名無しさん [sage] 2011/12/25(日) 18:48:48.79 まずモナドとIOモナドを区別してくれ 純粋さを保ったまま入出力をする仕組みがHaskellにはあって、IOという名前の型が使われる モナドというのはある種の型を抽象的に扱う枠組み (どういう型をどうやって扱うのかは一言では説明できない) で、IOはたまたまモナドの枠組に適合する(ので、IOモナドと呼ばれる) で、モナドが知りたいの？IOが知りたいの？ http://echo.5ch.net/test/read.cgi/tech/1317958045/841
842: デフォルトの名無しさん [sage] 2011/12/25(日) 18:51:02.48 関数に副作用があるかどうかが型を見るだけで解るのは利点 http://echo.5ch.net/test/read.cgi/tech/1317958045/842
843: デフォルトの名無しさん [sage] 2011/12/25(日) 19:00:41.02 チューしようか http://echo.5ch.net/test/read.cgi/tech/1317958045/843
844: デフォルトの名無しさん [] 2011/12/25(日) 19:03:59.38 すぐ反応してくれてうれしいな >>840 モナドでやりたいことは何なの？ってことなんだが。 関数型にどうのこうのって書いたんだが、そういう「目的」っていうの？ そういうのが知りたいんだが。 いろんなモナドがあるようなんで、それがわかいにくいんだが。 >>841 IOモナドはモナドのひとつじゃないん？ その「純粋さを保ったまま入出力をする仕組み」がモナドなんやろ？ 純粋さって関数型のってこと？もしそうなら、どの程度保てるものなの？ 知りたいのはモナド。IOがその代表ならそれも知りたい。 >>842 それは型指定を工夫したらできるんじゃないん？ こんな質問じゃったんじゃが、みなスマンのう http://echo.5ch.net/test/read.cgi/tech/1317958045/844
845: デフォルトの名無しさん [sage] 2011/12/25(日) 19:04:09.30 IO がモナドで表現されるようになった経緯は、 「A History of Haskell」の Section 7 に詳しく書かれている http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/ http://echo.5ch.net/test/read.cgi/tech/1317958045/845
846: デフォルトの名無しさん [sage] 2011/12/25(日) 19:05:37.16 >>841 > で、IOはたまたまモナドの枠組に適合する(ので、IOモナドと呼ばれる) なるほど。 いつまでもIOモナドは難しいと言われ続ける理由がわかったよ。 本当にIOモナドは「たまたま」モナドの枠組みに適合してるの？ わざわざモナドとしての宣言をしているのを「たまたま」というの？ わざわざ色々なIOをモナド則にあわせて整理して宣言しているのを 「たまたま」とか言って誤魔化しているわけでしょ。 学ぶ人達の能力を信用していないから、そうやって誤魔化すわけだ。 そうやって学ぶ人達を信用せずに、ありのままを伝えず、 取って着けたようなすぐバレるデッチアゲばかり言うから、 学ぶ人達はどの言葉を信用すればいいかわからなくなって、 「Haskellは難しい」という結論になっているんじゃないの？ http://echo.5ch.net/test/read.cgi/tech/1317958045/846
847: [―{}@{}@{}-] デフォルトの名無しさん [sage] 2011/12/25(日) 19:10:26.88 >>844 >IOモナドはモナドのひとつじゃないん？ そうだよ >その「純粋さを保ったまま入出力をする仕組み」がモナドなんやろ？ IOモナドがその仕組み。それ以外のモナドは全然別のことをする(構文解析とか) >純粋さって関数型のってこと？もしそうなら、どの程度保てるものなの？ 副作用のある関数を一切使わずに入出力のあるプログラムが書ける http://echo.5ch.net/test/read.cgi/tech/1317958045/847
848: デフォルトの名無しさん [sage] 2011/12/25(日) 19:10:45.98 モナド則が { nop foo bar baz nop } みたいなのを正しく扱うのに都合がいいということはわかる http://echo.5ch.net/test/read.cgi/tech/1317958045/848
849: デフォルトの名無しさん [sage] 2011/12/25(日) 19:12:41.64 >>847 > 副作用のある関数を一切使わずに ダウト。Haskell上の値としては副作用はないが、 裏でランタイムがちゃんと副作用を起こしている。 http://echo.5ch.net/test/read.cgi/tech/1317958045/849
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 129 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.013s