- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
186 ：デフォルトの名無しさん[sage]：2015/08/05(水) 11:55:37.34 ID:6JvEd9Ae - >>183 >>185
> 素数と素数の積が素数でないのは致命的じゃないが
それは素数の本質からの帰結だが、モナドの場合はそうではない。
もし整数と整数の積が整数にならないとすると、それは整数概念にとってかなり致命的。
群とまでいわなくても圏すらなさない概念はふつう使い物にならない
| - 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
189 ：デフォルトの名無しさん[sage]：2015/08/05(水) 14:44:47.74 ID:6JvEd9Ae - >>188
今は、素でないといけないと言ってるわけじゃないし（むしろ素しかないのは変だなと言ってる）
名前を問題にしてるわけでもないんだが
|
|