The MuxLang Type System: What Hindley-Milner Got Wrong
How Mux handles type inference differently from Hindley-Milner, with explicit generics, local inference, and a discussion of where compilers should infer types.
Posts tagged "hindley-milner"
How Mux handles type inference differently from Hindley-Milner, with explicit generics, local inference, and a discussion of where compilers should infer types.