Раньше смотрел - адекватного способа поставить OCaml на винду без эмуляций не было, т.к. видимо он как-то уж совсем жестко был повязан на gcc. Сейчас предлагают какой-то сторонний инсталлер с 32 звездами на гитхабе - ну тут как говорится: чао, персик, дозревай.

F# же это довольно костыльная штука, под недрами которой приходится мириться с объектно-ориентированностью MSIL'а, и которая выглядит как мутант при взаимодействии со стандартной либой. Не говоря уже о том, что готовой инсрафруктуры им не хватает, и они изобретают велосипеды по типу уникального List'а. Ставить в один ряд дотнет и gcc это бред - у дотнета фактически одна имплементация (есть еще паршивенький mono, который годится только чтобы в Wine крутить приложения под .NET Framework, и то с оговорками), в то время как в случае с gcc выбор не липовый, т.к. там под уже существующие языки, на которые найдется 1 или 2 альтернативных компилятора.