Pharo is an innovative, open, integrated and highly productive eco-system comprising language (forked from Squeak Smalltalk), modern libraries (extensive), very rich and integrat...
Scala is functional and translates to Java compatible bytecode. It can use Java libraries.
F# is a statically typed, functional-first programming language that encompasses imperative and object-oriented techniques and features global type inference.
Smalltalk implementation that's been powering mission critical business systems for three decades.