不動点ふたたび "Data Types a la Carte" d.y.d.

Kureduki_MaariKureduki_Maari のブックマーク 2013/10/11 05:48

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

d.y.d. Pluggable Type Systems

    19:27 08/02/29 不動点ふたたび LtU で "Data Types a la Carte" を読みました。これの鍵となる技は「型コンストラクタに対する不動点演算子」だと思うのだけど、 あれ、なんで俺これ考えたことなかったんだ…?と...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう