6 ms·
Prolog's constraint solving and unification are exactly what is required for solving type-checking constraints in a Hindley-Milner type system.
by taolson 10mo ago
Prolog's constraint solving and unification are exactly what is required for solving type-checking constraints in a Hindley-Milner type system.
- hunterpayne 10mo agoYes, absolutely...I just wish the people who wrote FP compilers knew this.