Hacker News new | ask | show | jobs
by kilovoltaire 4610 days ago
Yeah, I guess that helps a little since Scala's for comprehensions let you mix monads. (Which, for the record, Haskell's otherwise similar do notation doesn't seem to allow.)
1 comments
jarhart 4610 days ago
Technically, Scala's for comprehensions don't let you mix monads either, but implicit conversions make it work in some cases. For example, there's an implicit conversion from Option to Iterable so the Option (Maybe) and List monads can be mixed. It's really more a matter of Scala's type system allowing it. The Scala compiler just re-writes comprehensions into equivalent higher-order function application.
link
kilovoltaire 4610 days ago
Cool thanks, didn't realize it was due to implicits. Here are my tests, for the record.

Works in Scala:

    for {a <- Seq(Some(1), None, Some(3)); b <- a} yield b
Doesn't work in Haskell:

    do a <- [Just 1, Nothing, Just 3]; b <- a; return b
link