TypeSystems
Swiftによる型システムのサンプル実装置き場です。
Algorithm W
A Theory of Type Polymorphism - ROBIN MILNER 1978 の実装。
Fullsub
TaPL 15章の実装。OCamlの実装もあります。
Swiftによる型システムのサンプル実装置き場です。
A Theory of Type Polymorphism - ROBIN MILNER 1978 の実装。
TaPL 15章の実装。OCamlの実装もあります。