Особо ничего не доказывает, кроме того, что в расте можно попробовать писать в чистом ФП стиле, если добавить либ и экосистему для этого.
И даже никаких гатов не нужно
я вот никак не могу понять. Очевидно, что Rust делался в первую очередь как язык с очень низким оверхедом, что изначально противоречит концепции ФП. А вы хотите из него жать и жать ФП. Так может, вы не в ту дверь долбитесь? Может, лучше поискать более оверхедный язык, но с вполне себе хорошей ФП парадигмой? Какой-нибудь Haskell, может быть