He looked inquisitively at his keyboard and wrote another sentence. The arguments can be primitive data types or compound data types. The sequential subset of Erlang supports eager evaluation, single assignment, and dynamic typing. The sequential subset of Erlang supports eager evaluation, single assignment, and dynamic typing. Haskell features a type system with type inference and lazy evaluation.