- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
355 ：デフォルトの名無しさん[sage]：2015/08/27(木) 07:04:42.40 ID:gHMFOOrZ - >>353
その例を一つ二つ挙げてみてよ
|
- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
382 ：デフォルトの名無しさん[sage]：2015/08/27(木) 20:03:43.73 ID:gHMFOOrZ - >>380
反知性主義者というので期待してたが
結構知ってるよ的なので、ガッカリしたｗ
|
- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
384 ：デフォルトの名無しさん[sage]：2015/08/27(木) 21:38:54.38 ID:gHMFOOrZ - >>364
> VisitorとSingletonとIterator
これらデザパタはクソなのだが、モナドも同類なのか？
>「純粋関数型言語で副作用はどう書けばいいのか」という初学者の質問に「IOモナドがー」
Moggiはじめ皆そう言ってきてるんだが違うの？
> ttp://blog.jle.im/entry/io-monad-considered-harmful
これモナドを全否定してるかと思ったらそうでもないので期待外れ
>>377
> 圏論じゃなくて型付けラムダ計算あるいはSystemFがhaskellの基礎でしょ。
圏論は後者とどう違うという認識？
|