Erlang is a general-purpose, concurrent, functional programming language. Erlang is known for its designs that are well suited for systems. Erlang is known for its designs that are well suited for systems. Where are my pants? Haskell features a type system with type inference and lazy evaluation.