Haskell also uses type inference. It does have a lot of type system stuff, but because of how the language works the types are not just metadata. The types are

Haskell also uses type inference. It does have a lot of type system stuff, but because of how the language works the types are not just metadata. The types are often just as important as the rest of your code.