I do find myself missing strong typing sometimes, but I'd been writing scalaz-flavored Scala, and one thing I do not miss is working around JVM type erasure all

I do find myself missing strong typing sometimes, but I'd been writing scalaz-flavored Scala, and one thing I do not miss is working around JVM type erasure all the time. It has been about six months since I've had to type .asInstanceOf[T] and I am not looking back. :) Aside from strong typing, almost everything related to FP/concurrency/fault-tolerance that I liked about Scala is in Elixir -- first-class functions, immutable everything, shared nothing, everything is actors passing messages, supervision trees, etc. I can even whip out monads when I want them! [1] https://github.com/rob-brown/MonadEx https://github.com/rob-brown/MonadEx