Nagise https://blog.hatena.ne.jp/Nagise/ プログラマーの脳みそ https://nagise.hatenablog.jp/ Java Generics 関数を扱えるだけでは、モナドを表現するには不十分過ぎる - xuwei-k's blogを見て、言語の型システムの表現力とその限界とはなんなんだろうということをモヤモヤと考えていた。ここで話題になっているのは型変数を持つ型変数という話題である。これを便宜的に高階型変数とか、高階型と表現している。Javaのジェネリクスで例えれば public class Foo<T<X>> {} といったように型変数Xを持つ型変数Tという表現の話しである。Javaの言語機能的にはコレはできない。以前、僕の書いたJavaによる高階型変数の実装 - プログラマーの脳みそではこの出来ないはずの高階型変数をJavaの言… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnagise.hatenablog.jp%2Fentry%2F20130812%2F1376297563" title=" ジェネリクスのカリー化 - プログラマーの脳みそ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-08-12 17:52:43 rich https://nagise.hatenablog.jp/entry/20130812/1376297563 1.0 100%