高階型について

しいたけ @yuroyoro そんなこと言い出したら動的型付け言語で「maybeモナドできたよーヽ(ﾟ∀ﾟ)ﾉ 」とか無邪気に喜んじゃってる人達どうなるんですかー | 関数を扱えるだけでは、モナドを表現するには不十分過ぎる - scalaとか・・・ http://t.co/yYZIQe1Ph0 2013-08-08 20:39:12

[nosoosso]

高階型がなくてもモナド則は満たせるが、モナドを抽象化するのは難しいという話？

[todesking]

VMでの表現が貧弱なほうが、クライアント言語は自由な仕様を提供できるというのは面白いな

[Nagise]

そもそも当時のblogエントリで高階型変数とか勝手に名づけました。ゴメンナサイ