Io

Io is an object-oriented language partly inspired by Smalltalk, Lua, and Lisp. Its philosophy is to explore conceptual unification and dynamic languages, which is why Io is more about simplicity and flexibility rather than performance. 

Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, extended from Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism.