undefined | Better HN

story

0 pointsJeff_Brown4y ago0 comments

With version 3 it has another: Haskell doesn't yet have dependent types.

0 comments

Hrm. Scala has had dependent types for quite some time.

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:

j / k navigate · click thread line to collapse

Hrm. Scala has had dependent types for quite some time.

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:

j / k navigate · click thread line to collapse