Functional object-oriented programming language with type inference.