кто-то уже изобретал борроу-чекер разве? :)
Borrow checker реализует фрагмент линейной логики Жирара (https://en.wikipedia.org/wiki/Linear_logic) - вторая половина 80х годов прошлого века.
1987 был язык CLEAN с ним
Обсуждают сегодня