Да ты всё верно сказал. Майкрософт делал .NET Framework, который на начальном этапе назывался Project 42 (по номеру дома, в котором сидела команда). Параллельно был проект Project 7 (простой множитель числа 42), который занимался адаптацией разных языков под разрабатываемую платформу. Из более менее известных OCaml, Haskell, Perl, Python, Cobol, Ada. В этом же списке и better Java - C# (изначально проект назывался COOL). Большинстве попыток портирования не оправдали себя, хотя
Cobol.NET, IronPython и F# ещё живут.
Если отвечать кратко на вопрос мистера, то ответ "F# не мог стать популярнее C#, потому что не похож на джаву с её ООП".