Но меня смутила эта фраза
> uses a series of data-flow analyses to statically approximate heap liveness

тогда если лайфтаймы проебаны то сообщения об ошибках будут километрвыми, и через час после начала компиляции

вопрос в том сможет ли сам алгоритм после инлайна восстановить откуда у него противоречие в требованиях возникло?

Мне лично норм было бы если бы норм FP в Rust занесли. Даже без типов как в Идрис. Хотя да. Идея если забыть про синтаксис просто офигенная.

Раст в этом плане форкнулся от стандартного ФП. За счёт того, что там владение, заимствование и эксклюзивное заимствование выражено на уровне языка (lang item), там разъехались типы функций в три стороны как лебедь-щука-рак. В результате огромный пласт наработок ФП (вроде тех же монадок) тупо отвалился и неприменим в текущем виде. Было высказано ряд умных мнений, что Расту нужно развиваться в сторону экспресивности трейтов, а не типов, то есть GAT'ы, и потом дальше от них отталкиваться, тогда может что-то и выгорит. Но это пока невспаханное поле для исследований, которое никто толком не исследует в данный момент (насколько мне известно).

Ну глянь репу змейки. Ну позязя. Я там под ФП переделал. Я тебе пиво за свой счет проставлю за это. Когда соберёмся. БТВ, надо окончание короновируса собраться и отметить. Ты это, приходи с Жуковским. Бухнем за здравие 😁

не будут они курочить все ради фпшности

фп в расте не будет потому что &mut встроен в язык намертво

Уникальные типы - это ФП фича тоже, смотри clean

Самые приятные типы, на мой взгляд, у C++. Я именно про новую сильную систему, которую надстраивают, не про слабую сишную. Радость в том, что она статическая и в меру дотошная

У крестов очень слабая система типов из-за того, что большая часть интересного в ней делается через темплейты, которые к типам отношения не имеют

Темплейты без концептов - это duck typing.