News for hackers. Stuff that matters.

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

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 ]

There are no comments on this comment yet.