Hacker News new | ask | show | jobs
by Jeff_Brown 3038 days ago
Is there any obvious application of this in software design?
1 comments
SolarNet 3038 days ago
Type systems.
link
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