- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
119 ：デフォルトの名無しさん[sage]：2015/07/24(金) 22:29:22.04 ID:+b/Jkmb9 - >>111
なるほどZipListか
まだちゃんと読めてないんだけど、
> (可算無限も含めて)長さが固定のベクトルだったらその定義で上手く行くんだけどね、
> でも一般のリストに対する上手い定義ももしかしたらあるかもね
って感じの結論か
return (= pure) が無限リストを返すから
確かにモナド則を満たすのは容易ではなさそう
>>115
Haskellでは型さえ合っていればコンパイルできてしまうだけで
モナドがモナド則を満たすのはむしろ定義だと思う
|