Не вижу рациональных причин для не фп на хабре обсуждали там для монад оно как то надо
одна из рациональных причин — просто уметь комбинировать эффекты. ты в расте этого не сможешь сделать, например, будешь указатель на функцию принимать в своей foo
. если это указатель на конст функцию — const foo
, если нет — просто foo