News for hackers. Stuff that matters.

A comment on So you still don't understand Hindley-Milner? (2013).

Re:So you still don't understand Hindley-Milner? (2013) by tamana on Sunday February 07, 2016 @01:44PM (#11054097)
Why is the capital gamma spammed into all the formulas, instead of adding an axiom

    foo turnstile bar

    ------------------------
    Gamma, foo turnsile bar
[ Parent | on HN ]
Re:So you still don't understand Hindley-Milner? (2013) by fanf2 on Monday February 08, 2016 @03:48AM (#11057029)
Γ is a shorthand for the rest of the type environment. Your suggestion would allow the type checker to invent arbitrary phantom declarations.
[ Parent | on HN ]