Нет, но как-то давно в прод на нём писал.
Ну и да, C#, F# - не прям уж много разницы, по выразительной силе кардинально они не отличаются, система типов у F# доисторическая для ФП языка.
Но синтаксис и всякие мелкие фишки (полноценный вывод типов, честные АТД, рекорды, очень расширемые CE, более развитые квазицитаты, SRTP и т.д. и т.п.) у F# приятнее конечно
Хотя, я знаю, что ещё жду. Иммутабельности инстансов классов или хотя б иммутабельных локальных ссылок и "примитивных" переменных. После C++, где readonly можно на всё вешать, неудобно