News for hackers. Stuff that matters.

A comment on Scala 3.0. Parent comment

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...

[ Parent | on HN ]

There are no comments on this comment yet.