3 ms·
Quotient Types for Programmers
- arthurjj 8y agoNice explanation of quotient types. How do they get used in 'application' programming though?
- joker3 8y agoThe discussion at https://stackoverflow.com/questions/23596225/how-can-quotient-types-help-safely-expose-module-internals https://stackoverflow.com/questions/23596225/how-can-quotien... might be relevant. I haven't taken the time to understand it, though, so no guarantees.
- BoiledCabbage 8y agoHas anyone used the OBJ language family he mentioned at the end as supporting this? It sounds fascinatingly different.