4 ms·
Hrm. Scala has had dependent types for quite some time.
by esarbe 5y ago
Hrm. Scala has had dependent types for quite some time.
- Jeff_Brown 5y agoActually it appears to depend on your definition of dependent types. Scala apparently can't allow a type to depend on an IO-ingested value: https://www.reddit.com/r/haskell/comments/ncaud3/scala_has_dependent_types_now/ https://www.reddit.com/r/haskell/comments/ncaud3/scala_has_d...