These are programming languages where functions have no Side Effects. Allows for provable results and safe concurrency. Functional Languages Haskell OCaml Preact Elixir