3 ms·
Algorithm W, the algorithm used to do type inference in Hindley Milner is effectively just unification (the process by which Prolog infers facts, as mentioned i
by malisper 10y ago
Algorithm W, the algorithm used to do type inference in Hindley Milner is effectively just unification (the process by which Prolog infers facts, as mentioned in the post you referenced), applied to types.
- bjz_ 10y agoYeah - should have been more clear on that ;)