type inference): - sub typing polymorphism - type lambdas - … Recommended reading (the comments section): http://pchiusano.blogspot.com.es/2011/05/making-most-of- scalas-extremely-limited.html
type inference and some type safety in exchange of more power. Haskell tries to keep a core with good type inference and type safety even if that incurs in a less powerful type system