Zenn
だめぽだめぽ
¥0今すぐ読む
Haskellでの型レベルプログラミング

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

だめぽ
だめぽ
無料で読める本

Haskellでの型レベルプログラミングの解説書です。まだ執筆途中です。

Chapters
Chapter 01

はじめに

Chapter 02

型とカインド

Chapter 03

幽霊型とProxy

Chapter 04

データ型の昇格(DataKinds拡張)

Chapter 05

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

Chapter 06

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

Chapter 07

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

Chapter 08

復習・小まとめ

Chapter 09

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

Chapter 10

定理証明

Chapter 11

応用:Constraintカインド

Chapter 12

応用:GHCの型レベル自然数(Natカインド)

Author
だめぽ
だめぽ

にゃーん

Topics
Haskell
¥0今すぐ読む
公開
2022/03/16
本文更新
2022/04/07
文章量
約66,948字
価格
0円
ツイート
Zenn

エンジニアのための
情報共有コミュニティ

About

  • Zennについて
  • 運営会社
  • お知らせ・リリース

Guides

  • 使い方
  • Publication
  • よくある質問

Links

  • Twitter
  • GitHub
  • メディアキット

Legal

  • 利用規約
  • プライバシーポリシー
  • 特商法表記
Classmethod inc.