タグ

2014年4月30日のブックマーク (1件)

  • C#のジェネリクスで型クラスを真似る - 平々毎々(アーカイブ)

    id:Nagise さんのJavaジェネリクス記事を読みながら、C#ではどうかな、とあれこれ考えているわけです。 型に属する情報をジェネリックに扱う試み ... のC#版 ジェネリクス型変数と型階層 ... のC#版 再帰的ジェネリクスの代入互換性 ... のC#版 ジェネリクスの基礎とクラス設計への応用 ... のC#版 Javaによる高階型変数の実装 ... のC#版(序) Javaによる高階型変数の実装 ... のC#版(文) そんな時に、ジェネリクスのカリー化 - プログラマーの脳みその話を振られて。 真の高階型引数、つまり、型パラメータを取る型パラメータは実現できないです。が、型クラス的なものであればエミュレートできるらしい。 もちろんCLRにもILにも型クラス的なものなんかないわけで、オダスキー教授が言うところの「貧者の型クラス(pdf)」を使う、つまり型に適合するメソッド群

    C#のジェネリクスで型クラスを真似る - 平々毎々(アーカイブ)