All those languages look like a combination of Java and ML to me. Of course they use different features and small additions here and there but overall: ML+Java.