3 ms·
I didn't mean to imply you had said it was the last word. The form of OOP that I would be interested in would probably use row polymorphism instead of subtyping
by willtim 11y ago
I didn't mean to imply you had said it was the last word. The form of OOP that I would be interested in would probably use row polymorphism instead of subtyping. It might indeed be possible to encode this in DOT.
- mafribe 11y agoI think understanding the expressivity of the DOT approach vis-a-vis the more conventional 1ML approach should be interesting. 1ML is based on F-omega, which has higher kinds but not dependent sums or products, while D_{<:} has path-dependent products but no apparent higher kinds, if I understand the paper correctly.
- lmm 11y agoI think they model higher kinds as a special case of path-dependent types.
- airless_bar 11y agoRecord and row types are already under consideration for Dotty.