F# is a functional-first, general purpose, strongly typed, multi-paradigm programming language.
Website | Wikipedia
Microsoft .NET https://dotnet.microsoft.com (csharp, fsharp)