【アンチ】関数型言語は使えない【玩具】at TECH【アンチ】関数型言語は使えない【玩具】 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト760:749 12/01/28 11:36:37.96 >>751 >へー、これで a - b が決定されるのは正格評価と関係ないんだ うん、関係ないよ 関係するのはref(参照型)の使用 繰り返しになるけど、refを使わなければ意味はHaskellと同じ(>>731を参照) あとrefは「ただデータ型」だっていってんだろw 761:デフォルトの名無しさん 12/01/28 11:38:48.75 >>756 関係ないよ 正格と非正格で評価順序が違うから、 副作用のある式を評価すれば当然結果は変わるけど、 正格でも非正格でもそれぞれの評価戦略に従って a - b の値は一意に決定されるよ。 762:デフォルトの名無しさん 12/01/28 11:40:45.02 参照透過で停止するならチャーチロッサー性により結果は同じ 763:デフォルトの名無しさん 12/01/28 11:43:14.27 >>761 だからrefを使っててもa - bが定まるのは正格評価だからだろ a = f () と b = f () のどっちを先に評価するかで結果変わるんだから もし print_int で出力する時点で評価する遅延評価なら 結果が変わっちゃうだろ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch