F# is a functional-first, general purpose, strongly typed, multi-paradigm programming language.

Website | Wikipedia