1
Erlang OTP 24 Release Candidate 1
(www.erlang.org)
Idris, Haskell, Elm, Mercury, etc. and sometimes even functional programming paradigms in imperative languages