typeinfer
typeinfer copied to clipboard
Type inference in OCaml
Algorithm W 入門
これはなに?
OCaml による Hindley-Milner の型推論アルゴリズムの実装と、その理論を含めた解説本です。コミックマーケット81で頒布しました。
間違いなどを発見した場合は
GitHub の Issue Tracker に登録してください。
連絡先
何かあれば以下に
- [email protected]
- Twitter ID : @pi8027