Я не понял вашего предубуждения против F# — это почти тот же OCaml (программы OCaml полностью валидны в F#) — а Окамл — это очень нормальный функциональный язык, предшественник многих современных да и сам не отсталый.
Если вам нужен полный хардкор — то только Хаскелл. Ничто не сравнится с ним по современности и точности следованяи парадигмы.
Если заработать деньги — тогда лучше Эрланг. Но вообще идея заработать деньги на ФЯ весьма труднореализуема. Лисп тоже используется, но мне не понравился его внешний вид. Слишком много скобок, моя душа этого не выдерживает.
