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

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

422(2): デフォルトの名無しさん [sage] 2024/10/02(水) 22:20:07.75 ID:sFAdPyYV(1) AAS
ID:OPLMo7z3 = ID:AFS53MaU 本人か同レベル

複おじってレベル

424(3): デフォルトの名無しさん [] 2024/10/02(水) 22:29:49.51 ID:OPLMo7z3(3/8) AAS
>>422
別の人。自分ならプログラムの記述を一回数学の世界に写すし。

>>423

423(1): デフォルトの名無しさん [sage] 2024/10/02(水) 22:24:19.37 ID:YWEZQEUD(2/7) AAS
途端に難しくなるか？
副作用のない計算に変換する手順が教科書に書いてあるはずだが？

副作用のある数学的関数ってある？
プログラム→数学
に変換するんだぜ。
副作用のない計算に変換する手順が数学の本に書いてあんの？

429: デフォルトの名無しさん [sage] 2024/10/02(水) 22:55:13.15 ID:+kVmY7U4(3/3) AAS
>>427

427(1): デフォルトの名無しさん [] 2024/10/02(水) 22:51:00.95 ID:OPLMo7z3(4/8) AAS
定義が何もないのに何も言えるわけないじゃん。
数学でこういうものを定義します、これをプログラムのこれこれと対応付けます。
てプロセスないじゃん。

了解

>>422の指摘通りだと納得しました