3 ms·

Is there any obvious application of this in software design?

• SolarNet 9y ago
  Type systems.
  • Jeff_Brown 9y ago
    What will it let me represent that extant type systems don't?
    • SolarNet 9y ago
      Nothing. However it will provide a consistent basis for translating a wider variety of systems to existing type systems.