03:10
2026-09-03
gist.github.com
developer-tools
scheme impl of hindley–milner type inference based on milner's algorithm w and the damas–milner principal type scheme result.
A developer implemented Hindley-Milner type inference in Scheme, based on Milner's Algorithm W and the Damas-Milner principal type scheme. The implementation models monotypes and polymorphic type sche…