Haskell
Purely functional, lazily evaluated language with a powerful type system — influential in type theory, compilers, and financial systems.
static
compiled
since 1990
functionallazy
Haskell enforces pure functional programming — functions have no side effects unless explicitly typed that way — enabling the compiler to make strong guarantees about code correctness. Its type system, including type classes and higher-kinded types, has influenced languages from Rust to Scala. It is widely used in compilers, formal verification, and quantitative finance.