F# позиционировался изначально как эксперементальный язык насколько я знаю, как свой мультипарадигменный functional-first язык который хорошо вяжется с .NET экосистемой
+ F# сейчас уже вышел за рамки .NET и активно используется как обертка над wasm и JS (работает примерно также как TypeScript)
Многие вещи которые сейчас являются нормой в C# были взяты именно из F# в свое время. Например async/await и
Async<> класс (аналог TPL
Task<>) появились задолго до C# реализации
Сейчас C# активно таскает фичи которые легко прицепить к C# из F#
Еще пример — за несколько лет до появления Blazor уже существовал
Bolero который умеет F# компилить в wasm (как Blazor компилит C# в wasm)
Ну и как выше сказали — в ML. Как более строготипизированный Python.