関数型プログラミング言語Haskell Part34

関数型プログラミング言語Haskell Part34 (692ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

501(1): デフォルトの名無しさん [] 2024/10/04(金) 22:44:05.60 ID:tixO3LDq(17/22) AAS
>>499

499(1): デフォルトの名無しさん [sage] 2024/10/04(金) 22:32:08.56 ID:WSIC8Xt5(9/14) AAS
>>498
その人はHaskellは数学的に正当化されてないけしからんって言ってたの？

はっきりそうは言ってない。
プログラムをλ項に対応させて単純化させると、valueからvalueへの全域関数となるけれど、
そう考えると、非停止性とか非決定性、副作用といった現実のプログラムにある特徴が失われる（だからそれを何とかしようと読める）。

>>500

500(1): デフォルトの名無しさん [sage] 2024/10/04(金) 22:34:04.82 ID:WSIC8Xt5(10/14) AAS
最低限、論文に書いてある正しいこととお前の妄想がはっきり区別できるように感想文を書けよ

そんなことできるほど力量ないです。

503: デフォルトの名無しさん [sage] 2024/10/04(金) 22:50:56.01 ID:WSIC8Xt5(11/14) AAS
>>501
なんでラムダ項に対応させると全域関数になるわけ？ラムダ計算は停止しない計算も表現できるモデルでしょ
言ってることが意味不明なんだよ