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.

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_dependent_types_now/ https://www.reddit.com/r/haskell/comments/ncaud3/scala_has_d...