фпёбить в расте не особо удобно

ваше каррирование развалится при попытке вернуть каррированную лямбду от 2 аргументов за наносекунду

Нафиг вообще фпёбить в расте если есть хаскель?

+

Фигачешь на хаскеле, если нужно что-то прямо очень быстро просчитать делаешь на расте и встраиваешь в прогу через сишный ffi.

Не в расте оно не удобно нифига.

Но в целом хотелось бы полноценный ФП язык без ГЦ.

полноценный фп без гц, это интересно конечно

Выжать нормальный перформанс по памяти из хаскеля - это задачка со звездочкой.

То есть там надо будет через монады freeхать и allocaть?

Low* без сборщика мусора и ATS с опциональным, ЕМНИП

То есть лайфтаймы опять, борроу чекер и вот это все

По типу такого

Скорее что-то на стыке линейных и зависимых типов

Я такую штуку делал на Си, но потом приуныл

Проще тогда Раст форкнуть версией когда не было и в помине асинка, и переделать

не очень понимаю, как типы связаны со способами управления памятью

А-ля доказывать, что в данном случае можно передавать ссылкой и т.п.

Можешь почнее привести пример где развалится?

Не совсем. Аргумент в том, что при уб все же происходит не всё что угодно. При мисс компиляции могут быть интересные кейсы, но практически она встречается довольно редко. А фиксы "уб-сегфолтов" такая же рутинная работа вместе с фиксами логических багов в яп с ручным управлением памятью. Это безусловно хуже чем паника, особенно когда остаётся незамеченным/неисправленным. Но это и не конец света, как тут многие воображают, и не абсолютный рандом.

по приколу