Depends what you mean by anything. You have dependent types and subtyping, but can't express, say, a GADT. I think Scala can probably do anything. I agree tha

Depends what you mean by anything. You have dependent types and subtyping, but can't express, say, a GADT. I think Scala can probably do anything. I agree that Haskell is probably not great for writing real world code and should be reserved for toying with ideas about PL and type theory.