News for hackers. Stuff that matters.

A comment on Scala Center. Parent comment

Re:Scala Center by willtim on Tuesday March 15, 2016 @03:25AM (#11288038)
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.
[ Parent | on HN ]
Re:Scala Center by mafribe on Tuesday March 15, 2016 @04:40AM (#11288241)
I 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.

[ Parent | on HN ]
Re:Scala Center by lmm on Thursday March 17, 2016 @08:17AM (#11303877)
I think they model higher kinds as a special case of path-dependent types.
[ Parent | on HN ]
Re:Scala Center by airless_bar on Tuesday March 15, 2016 @11:12AM (#11290209)
Record and row types are already under consideration for Dotty.
[ Parent | on HN ]