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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

542(1): デフォルトの名無しさん [] 2024/10/08(火) 19:19:24.66 ID:fXGz3G0z(1/2) AAS
>>529
集合と写像って違うんですか？写像って集合ではなかったですか？

544(1): デフォルトの名無しさん [sage] 2024/10/08(火) 19:35:49.07 ID:i8KKt4Pq(1) AAS
>>542
反対向きは成り立たないよ
彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ