OCaml による Hindley-Milner の型推論アルゴリズムの実装と、その理論を含めた解説本です。コミックマーケット81で頒布しました。
GitHub の Issue Tracker に登録してください。
何かあれば以下に
- [email protected]
- Twitter ID : @pi8027
-
Notifications
You must be signed in to change notification settings - Fork 2
Type inference in OCaml
pi8027/typeinfer
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|