Why is the capital gamma spammed into all the formulas, instead of adding an axi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tamana on Feb 7, 2016 \| parent \| context \| favorite \| on: So you still don't understand Hindley-Milner? (201... Why is the capital gamma spammed into all the formulas, instead of adding an axiom `foo turnstile bar ------------------------ Gamma, foo turnsile bar`

fanf2 on Feb 8, 2016 [–]

Γ is a shorthand for the rest of the type environment. Your suggestion would allow the type checker to invent arbitrary phantom declarations.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact