Re:Scala 3.0
by esarbe on Friday May 14, 2021 @01:38PM
(#27157212)
Hrm. Scala has had dependent types for quite some time.
[ Parent
| on HN ]
Re:Scala 3.0
by Jeff_Brown on Saturday May 15, 2021 @07:57PM
(#27170036)
Actually 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_d...