Haskellでの型レベルプログラミング

無料で読める本

Haskellでの型レベルプログラミングの解説書です。

Chapters

はじめに

型とカインド

幽霊型とProxy

発展：カインド多相

データ型の昇格（DataKinds拡張）

型レベル関数と型族、型演算子

型レベル計算の結果を実行時に利用する：型クラス

一般化された代数的データ型 (GADT)

復習・小まとめ

シングルトン型と依存型の模倣

定理証明

応用：Constraintカインド

応用：GHCの型レベル自然数（Natカインド）

応用：GHCの型レベル文字列（Symbolカインド）

応用：GHC.Generics

応用：実行時型情報（Typeable）

宣伝：同人誌「Haskellでの型レベルプログラミング」

Author

にゃーん

Topics

¥0今すぐ読む

公開: 2022/03/16
本文更新: 2024/05/17
文章量: 約89,521字
価格: 0円