News for hackers. Stuff that matters.

A comment on Scala 3.0. Parent comment

Re:Scala 3.0 by Jeff_Brown on Friday May 14, 2021 @11:16AM (#27155161)
With version 3 it has another: Haskell doesn't yet have dependent types.
[ Parent | on HN ]
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...

[ Parent | on HN ]