hyone https://blog.hatena.ne.jp/hyone/ hyoneの日記 https://hyone.hatenablog.com/ haskell DataKinds 言語拡張のおかげで、 [String, Bool] のような型レベルのリストリテラルが扱えるようになり、 異なる型の要素を持つことができるヘテロリスト、それも Dynamic のようなユニバーサル型を使った Untyped なものではなく、各要素ごとに異なる型付けができるヘテロリスト ( Typed Heterogeneous List ) を、以下のようにスマートに定義できるようになった。 ので、このヘテロリストに対する基本的な操作を実装してみた。 次のような感じで使える。 ( 要 GHC 7.6.1 以上 ) 実装 参考にしたサイト GHC 7.4.1 の型レベル新機能… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhyone.hatenablog.com%2Fentry%2F2012%2F12%2F26%2F181105" title="DataKinds 言語拡張を使って Typed Heterogeneous List とその基本操作を実装してみた - hyoneの日記" 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 2012-12-26 18:11:05 rich https://hyone.hatenablog.com/entry/2012/12/26/181105 1.0 100%