Haskell is a high-level, compiled, strongly typed, pure, lazy, functional language that has been in development since 1990. It supports lightweight threads, non-blocking IO, software transactional memory, metaprogramming and many libraries. Large companies have begun using Haskell for tasks such as web applications, datacenter management, and industrial controllers.