- 関数型プログラミング言語Haskell Part26
297 ：デフォルトの名無しさん[sage]：2014/10/27(月) 06:54:23.07 ID:6YT6iDls - ナス×ナスはCookのインスタンスであるが、cook ナスがどんな型になるか確定していないので、？×ナスはCookのインスタンスとして認められない
と初心者が嘯くテスト
|
- 関数型プログラミング言語Haskell Part26
298 ：デフォルトの名無しさん[sage]：2014/10/27(月) 07:12:16.97 ID:6YT6iDls - いや違うな
今、Cookはナス×ナスにしかインスタンスを認めていないので
コンパイラはナス×ナス以外の可能性が少しでもあるものにcookを使わせるわけにはいかない
今、aはナスを取るだけで返値の型についてなんら言及していない
従ってナス→？であり、ナス×？をCookの仲間として認めることはできないのでcookを使わせることもしない
コンパイラは考える。そもそもcookってなんだ？ Cookの条件となる関数のことかも知れないがその保証もないではないか
もしそのつもりで書いてるなら前もってナス×ナスである保証をくれ。それならcookを使わせてやる
と初心者が嘯いて世を惑わせるテスト
|
- 関数型プログラミング言語Haskell Part26
299 ：デフォルトの名無しさん[sage]：2014/10/27(月) 07:14:29.67 ID:6YT6iDls - いや、違うな
今、cook a はナスを取るだけで返値の型についてなんら言及していない
従ってナス→？であり〜か
|