Surprising Haskell Type Inference Result
This talk, presented to HuntFunc, adapts Andy Koenig’s 1994 USENIX paper An anecdote about ML type inference to Haskell and walks through step by step how Hindley–Milner arrives at the surprising result.
This talk, presented to HuntFunc, adapts Andy Koenig’s 1994 USENIX paper An anecdote about ML type inference to Haskell and walks through step by step how Hindley–Milner arrives at the surprising result.