Haskell

Haskell (/ˈhæskəl/[27]) is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation.[28][29] Designed for teaching, research and industrial application, Haskell has pioneered a number of advanced programming language features such as type classes, which enable type-safe operator overloading. Haskell's main implementation is the Glasgow Haskell Compiler (GHC). It is named after logician Haskell Curry.[1] https://en.wikipedia.org/wiki/Haskell_(programming_language)

LiquidHaskell (LH) refines Haskell's types with logical predicates that let you enforce important properties at compile time.

Literate Haskell: Haskell is one of the few languages that provides native features to support literate programming. In haskell, a literate program is one with the suffix .lhs rather than .hs.