consider Yeti for inclusion on the list

[akavel]

You could maybe consider the Yeti programming language on your list. It's a "ML style functional programming language, that runs on the JVM".