- 関数型プログラミング言語Haskell Part27＿©2ch.net
651 ：デフォルトの名無しさん[sage]：2015/02/22(日) 10:47:16.95 ID:nNPYfFU0 - おまえらはそもそも型を信じてない
だから、IO型が副作用でそれ以外は純粋、という定義を認めない
型チェックを信じられないならPythonとかを使えばいい
副作用の有無をチェックする必要もないだろ
|
- 関数型プログラミング言語Haskell Part27＿©2ch.net
653 ：デフォルトの名無しさん[sage]：2015/02/22(日) 12:47:55.99 ID:nNPYfFU0 - 何を言ってるのかわからない情報弱者を助けるべきというのは正しい
もし弱者のふりをする強者がいたとしも考えを変えるべきではない
弱者のふりをする強者は、弱者を助ける政策を変えさせようとするテロリストだから
|
- 関数型プログラミング言語Haskell Part27＿©2ch.net
660 ：デフォルトの名無しさん[sage]：2015/02/22(日) 14:33:32.11 ID:nNPYfFU0 - >>648
入力は IO a
出力は a -> IO ()
この IO () は型引数がいらないのでMonadである必要はなくてMonoidでもよかった
|