Haskell http://fprog.ru/ Erlang Cog Agda Idris Elixir