Pharo is an innovative, open, integrated and highly productive eco-system comprising language (forked from Squeak Smalltalk), modern libraries (extensive), very rich and integrat...
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.
Scala is functional and translates to Java compatible bytecode. It can use Java libraries.