|
|
|
|
|
|
by mrkeen
950 days ago
|
|
|
> Building a type checker on global inference is the kind of thing that sounds romantic in academia - "no type definitions and yet get type checking!" - but ends up being a nightmare to use in practice. Hi! I use global type inference and I love it. |
|
|