Рекорды - это приятная, но малая часть из того, что хотелось бы.
АТД - куда важнее, в особенности, если есть из поддержка для структур (хотя в F# как раз АТД со структурами так себе работают, но работают)
Полноценные квазицитаты много чего позволяют. Т.е. в шарпе Expression очень сильно ограничен в плане того, что в него можно разобрать, в F# этих ограничений на порядок меньше.
Тот же паттер-матчинг в шарпе совершенно никакой по сравнению с фшарпом и я уж не говорю про какую-нибудь скалу с её PartialFunction.
а ты сейчас на чём пишешь?