  |
お前は型推論のあるマトモな関数型言語やってから出直して来い Ruby見たときもコレのどこに関数型のエッセンスがあるんだとか思ったもんだ 今なら何を言ってるかわからんでもないが...
型推論と関数型関係あるんか？ そもそも動的型付けか静的型付けかは、関数型とはあんま関係なくね？
関数を一級オブジェクトとして扱えるかどうかとは関係ないよ。 しかしプログラムを圏論を使って扱おうと思うと本質的に重要だよ。 この辺を青筋立てて語る奴らのいるせいで、ますま...
うわぁ…この人本物の毛の壁さんだ…
「本質的に重要」とか曖昧な表現ではなく、具体的に圏論を用いることによってプログラミングのパラダイムがどのように変化し、用いないことによって何がどう変化してデメリットに...
8
