Дон Сайм, разработчик оригинальной версии F#, объявил о том, что Microsoft опубликовала исходный код компилятора и базовой библиотеки F# 2.0 под свободной лицензией Apache License 2.0.
F# — это мультипарадигменный язык программирования, предназначенный для платформы Microsoft .NET. Он сочетает в себе функциональное программирование с аспектами из императивного и объектно-ориентированного.
F# является разновидностью ML и в значительной степени совместим с реализацией OCaml. Изначально он был разработан в Microsoft Research, но затем передан в Microsoft Developer Division для того, чтобы стать полностью поддерживаемым языком в фреймворке .NET и проприетарной среде разработки Visual Studio.
Ладно, не доказали. Но мы работаем над этим