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

関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

616: 2024/11/21(木)00:16 ID:r2/mXbdf(1/2) AAS
集合論と圏論の抽象度がもし同レベルならたしかに圏である必要はないな
必要ない情報は捨象されるべきだと言われれば何も反論できない

だから抽象化マウントは強いんだ

619: 2024/11/21(木)21:57 ID:r2/mXbdf(2/2) AAS
型構築子を導入すれば関手もモナドも勝手についてくる
型を必要とするすべての言語で同じことが言える
これも抽象化