3 ms·
With version 3 it has another: Haskell doesn't yet have dependent types.
by Jeff_Brown 5y ago
With version 3 it has another: Haskell doesn't yet have dependent types.
- esarbe 5y agoHrm. 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...