В расте ленивость надо самому писать — в этом и отличие. И те же итераторы это приличное кол-во кода в разных крейтах, чтобы сделать то, что в хаскеле практически из коробки
Да, но с точки зрения юзера. Что там ленивость, что там. Также про функциональность, в расте тоже можно писать в функциональном стиле. И даже гц никто не заметит если передавать типы по значению.