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.
Smalltalk implementation that's been powering mission critical business systems for three decades.
F# is a statically typed, functional-first programming language that encompasses imperative and object-oriented techniques and features global type inference.