Это спорно минимум потому что понятие чистого ФП это абстрактный сферический конь в вакууме. Из всех языков SML был ближе всего к чистому ФП, и Фшарп много от него взял
Мб и будет, как напишешь. Суть же в скорости работы по сути. Асинк использует байнд под капотом, постоянно создавая замыкания. А со стейт машинами этого можно избежать