imperative, object-oriented, functional
static system, strong typing
Java, Lisp, Smalltalk, Scala, ML
ceylon