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

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

542(1): 2024/10/08(火)19:19 ID:fXGz3G0z(1/2) AAS
>>529
集合と写像って違うんですか？写像って集合ではなかったですか？

544(1): 2024/10/08(火)19:35 ID:i8KKt4Pq(1) AAS
>>542
反対向きは成り立たないよ
彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ