Haskellでの型レベルプログラミングだめぽ無料で読める本Haskellでの型レベルプログラミングの解説書です。まだ執筆途中です。ChaptersChapter 01はじめにChapter 02型とカインドChapter 03幽霊型とProxyChapter 04データ型の昇格(DataKinds拡張)Chapter 05型レベル関数と型族、型演算子Chapter 06型レベル計算の結果を実行時に利用する:型クラスChapter 07一般化された代数的データ型 (GADT)Chapter 08復習・小まとめChapter 09シングルトン型と依存型の模倣Chapter 10定理証明Chapter 11応用:ConstraintカインドChapter 12応用:GHCの型レベル自然数(Natカインド)AuthorだめぽにゃーんTopicsHaskell¥0今すぐ読む公開2022/03/16本文更新2022/04/07文章量約66,948字価格0円ツイート