>>4Elixir: What Erlang should have been.
Elixir isn't bad and improves in some areas, but no. It brings on some poor Rubyisms.
Perl 6: The HURD of dynamically typed languages.
*Gradually typed programming languages. You're getting at development time and adoption, right? Can't argue, wish it wasn't so.
At least its devout religious freak figurehead doesn't harass people for their beliefs.Idris: Yet another dependently typed language with Haskell-like syntax.
There might be a reason for that. At least it isn't actually Haskell, which is starting to feel like the PHP of pure functional languages.