Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
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.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
