Description: Haskell is a statically typed, purely functional programming language known for its strong static type system, sophisticated type inference, and non-strict evaluation. It is used in education, academia, and some commercial applications.
Type: software
Description: Wolfram Alpha is a computational knowledge engine that allows users to get instant expert-level answers to questions on math, science, and many other topics by typing queries in plain language. It understands and computes answers across many domains.
Type: software