[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
810: 2011/12/23(金)21:51 AAS
同じ事やねんで
811(1): 2011/12/23(金)21:51 AAS
モナドって、ひょっとしてHaskellにおけるデザインパターンのことかい？
812: 2011/12/23(金)21:52 AAS
>>809
ラムダ抽象の抽象？
813(1): 2011/12/23(金)21:58 AAS
>>811
モナドの方が抽象度高いけど似たようなもん(だと思ってる)
814: 2011/12/23(金)21:59 AAS
普遍化というのはある特定の性質から全体の性質が定まるようにすることで、
単なる抽象化とは違うだろ。
815(1): 2011/12/23(金)22:03 AAS
デザインパターンが何を指しているのかわからない。
816(1): 2011/12/23(金)22:04 AAS
【普遍化】個別的・特殊なものを捨て、共通なものをとり出すことによって概念や法則などを引き出すこと。
【抽象化】対象から注目すべき要素を重点的に抜き出して他は無視すること。
817: 2011/12/23(金)22:14 AAS
よかったな。
818(1): 2011/12/23(金)22:21 AAS
どっちでも良いと思うけど、性質を式にするような場合は一般化(普遍化)のほうがしっくるくるよね
819(1): 2011/12/23(金)22:31 AAS
>>815
あのGoFのデザインパターンがその代表だが。
>>813
そうか。そうならデザインパターンと同じくつまらんものだ。
長くは続かん。
>>816 >>818
もっと乾いた理解をしないといかんのじゃないか？
820(1): 2011/12/23(金)22:43 AAS
>>819
> そうか。そうならデザインパターンと同じくつまらんものだ。
> 長くは続かん。
2ch で質問して、たった1個のレスでそんなに早く結論を得た気になるなんて
ほんと馬鹿としか言いようがない
このまま行くと、お前は一生その考えなんだろうなぁ
821: 2011/12/23(金)22:45 AAS
そもそもデザインパターンがつまらんという感覚が良く分からない
822: 2011/12/23(金)23:03 AAS
うむ。つまるとかつまらんてものではないわな
823: 2011/12/23(金)23:04 AAS
>>820
2ch
824(1): 2011/12/24(土)00:21 AAS
つまらない物だということにして安心したいんだよ
そうすれば理解する努力しなくていいから
825(1): 2011/12/24(土)00:50 AAS
理解できない自分の頭を嘆く必要もなくなるし。
826: 2011/12/24(土)05:44 AAS
>>804 , >>807
ありがとう。
でも、その理屈でIO()をモナドに抽象できるのだとすると、
「IO()で提供されていた種々の関数は全て、
モナドで提供されている演算子に置き換え可能である」
という前提条件が存在すると思うのだけど、どうだろう？
この条件が成立しないと、結局forallはIO()型の値を必要とするよね。
IO()をMonad m=>mで置き換え可能であるためには、forallを使っている
コードも含めて、IO()型に関連する「全ての関数」のモナド版を
用意してあげなくちゃいけないと思うのだけど。
827(1): 2011/12/24(土)08:41 AAS
>>=, returnとそれと対応するIO版の関数の範囲に限ってその前提条件は成立する。
それが型クラスとそのインスタンス宣言の意味するところで、
この前提条件の表明がMonad m =>みたいな型シグニチャのコンテキスト。
828: 2011/12/24(土)08:55 AAS
>827の翻訳
一般にその前提条件は成立しない。
829(2): 2011/12/24(土)11:15 AAS
cabal updateしようとしたんだけど落ちてる？
なんかタイムアウトしてしまうんだが。
取り急ぎ対応したいんだけど、ミラーとか指定できる？
830: 2011/12/24(土)11:20 AAS
さっき俺の方でも実行してみたけど、問題なくいけた
831: 2011/12/24(土)11:24 AAS
なんか自分だけっぽいな。どうすればいいんだろう。
pingも帰ってこない。
832: 2011/12/24(土)13:21 AAS
>>824 >>825
理解するとか理解できるとか言ってる時点でダメなんよ。
833: 2011/12/24(土)13:24 AAS
最初に言ったのはラオウ
834: 2011/12/25(日)03:51 AAS
DNS引けてないようだったら、
DNSサーバーをgoogle提供の8.8.8.8にしてみるとかどうだい。
/etc/hostsとかでipアドレス指定してもいいけど。
ほかの要因だったら、proxyかますとか。
835(1): 2011/12/25(日)10:41 AAS
硬派なお前らなら勿論イヴもコーディングだったよな？な？
836: 2011/12/25(日)11:41 AAS
遺伝子をコーディングしてました
837: 2011/12/25(日)12:07 AAS
アレをコーティングして入れてました
838: 2011/12/25(日)18:07 AAS
>>835
IO Monadをかぶせて副作用なし。
839: 2011/12/25(日)18:31 AAS
いろいろ見てみたけどモナドってやっぱおれには難しいわ。
なんか純粋な関数型言語にふつうのプログラミング言語ならふつうにできることを
組み込みたいという空気かなと思うが、あまりそう強調されてもいないようだし、
まず目的がようわからんわ。
抽象化とか言うけど、それはモナドに限らん関数型の特徴だと思うし。
だれかこういうのちょっと教えてくれんかなスマンが。
上下前次1-新書関写板覧索設栞歴
あと 139 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.020s