5 ms·

Scala is missing on that list (even it doesn't have "full dependent types" Match-Types are quite close).