コミックマーケット81告知

コミックマーケット81に参加します。

場所
三日目 東 ペ-05b
サークル名
coins-11

頒布物 - Algorithm W 入門

Hindley-Milner の型推論アルゴリズム(Algorithm W)の理論と実装の解説本。頒布価格は500円です。48ページ。

本文のサンプルを公開しています。

目次

  1. λ計算入門
    1. 関数
    2. λ計算
    3. α同値関係
    4. 変数の捕獲
    5. β簡約
    6. 型付きλ計算
      1. 単純型付きλ計算
      2. 型判定
      3. 型を付ける
    7. まとめ
  2. 単純型付きλ計算の型推論
    1. 型推論とは
    2. アルゴリズム
      1. 例
      2. 方程式の生成
      3. 制約解消系
    3. 実装
      1. データ型
      2. 方程式の生成
      3. 制約解消系
      4. 型推論
    4. まとめ
  3. 多相型の型推論
    1. 多相の必要性
    2. let項
    3. 置換による多相
      1. アルゴリズム
      2. 実装
    4. パラメトリック多相
      1. 理論
      2. アルゴリズム
    5. W
      1. アルゴリズム
      2. 実装
    6. まとめ