по крайней мере до тех пор пока не научатся транслировать ФП код в эффективный императивный ассемблер, ФП не будет для системного программирования
Итераторы, монады (по крайней мере, Result, Option, ...), много другого уже научились транслировать в эффективный машинный код