Hacker News new | ask | show | jobs
by SolarNet 3038 days ago
Type systems.
1 comments
Jeff_Brown 3038 days ago
What will it let me represent that extant type systems don't?
link
SolarNet 3032 days ago
Nothing. However it will provide a consistent basis for translating a wider variety of systems to existing type systems.
link