- 関数型プログラミング言語Haskell Part27＿©2ch.net
242 ：デフォルトの名無しさん[sage]：2015/01/22(木) 09:33:24.41 ID:luu2eUXm - >>239-240
a → b だとまずい = a → (b → まずい)
b → a だとまずい = b → (a → まずい)
は両方とも意味は同じなんだけど、同じ意味に対して書き方が二つあって、
左辺の逆、裏、対偶は違うものになるってことだと思う。
|
- 関数型プログラミング言語Haskell Part27＿©2ch.net
243 ：デフォルトの名無しさん[sage]：2015/01/22(木) 09:39:51.90 ID:luu2eUXm - >>241
参照透過にしたい & 遅延評価にしたい
↓
副作用の扱いに困る
↓
モナドを使えば良いことに気づく
だよ。
ちなみにkenokabeが圏論とか言ってるのは完全にデタラメだよ。
|
- 関数型プログラミング言語Haskell Part27＿©2ch.net
244 ：デフォルトの名無しさん[sage]：2015/01/22(木) 09:45:32.68 ID:luu2eUXm - >>242
すまん、これは括弧無しだとさすがにまずかった。
a → (b だとまずい) = a → (b → まずい)
b → (a だとまずい) = b → (a → まずい)
|