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

関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次 1-新

606: 2024/11/16(土)22:41 ID:ZUJ+jDQV(4/4) AAS
加筆してvalueとcomputationの説き起こしから始めて本当にMoggiのアイディア書くかなぁ？
米田の補題が工学応用できるとかいう主張と衝突する気がするんだけれど。