Moby
A class-based
object-oriented programming language with support for
higher-order concurrency. It also has some features associated with the
ML family of languages: advanced
module systems, parametric polymorphism, inductive datatypes,
pattern-matching, and first-class functions.