matarillo https://blog.hatena.ne.jp/matarillo/ 平々毎々（アーカイブ） https://matarillo.hatenadiary.jp/ C# 前回のエントリ「F# で高階型のエミュレーション - pocketberserkerの爆走」およびその記事で紹介されているhighjを参考にするとこんな感じになるだろうか。GitHub Gist前回のエントリだと、値クラスMaybe<T>は抽象クラスMonad<T>を継承していたが、この実装だとメソッドを持たないマーカーインターフェース_<T, TValue>を実装するだけだからシンプルだと思う。ただし、型クラスもどきインスタンスを意識的に渡す必要はある。また、これは前回のエントリと同じだけど、型クラスもどきのメソッドを呼び出すたびにMonad<Maybe.µ, T>やFunctor<Mayb… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmatarillo.hatenadiary.jp%2Fentry%2F20141006%2Fp1" title="続々・C#のジェネリクスで型クラスを真似る - 平々毎々（アーカイブ）" 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 2014-10-06 00:00:00 rich https://matarillo.hatenadiary.jp/entry/20141006/p1 1.0 100%