4 ms·
But what's its type discipline? H/M polymorphism? Overloading? Subtyping? How is it evaluating? Eager? Lazy? What values are supported? Records? What flavor?
by choeger 8y ago
But what's its type discipline? H/M polymorphism? Overloading? Subtyping?
How is it evaluating? Eager? Lazy?
What values are supported? Records? What flavor? Modules?
- rhencke 8y agoYou may find the Ko Handbook useful, as much of this is addressed there: https://kocircuit.github.io/language/ https://kocircuit.github.io/language/