Messages can be sent to and received from ports, but these messages must obey the so-called "port protocol." Haskell features a type system with type inference and lazy evaluation. Atoms are used within a program to denote distinguished values. Any element of a tuple can be accessed in constant time. Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing.