История изменений

Да, академики вроде бы попиливают нечто похожее. На данный момент GC – это самая большая проблема всех ФП языков, её нужно решать. В конце концов, структуры данных в ФП иммутабельны (по крайней мере для программиста), а время жизни для них чаще всего строго определено контекстом, остается только наладить ручное определение времен жизни для случаев, когда вывести невозможно, ну и всякие полуавтоматические RC для случаев, когда и этого недостаточно.

Да, академики вроде бы попиливают нечто похожее. На данный момент GC – это самая большая проблема всех ФП языков, её нужно решать. В конце концов, структуры данных в ФП иммутабельны (по крайней мере для программиста), а время жизни для них чаще всего строго определено контекстом выполнения, остается только наладить ручное определение времен жизни для случаев, когда вывести невозможно, ну и всякие полуавтоматические RC для случаев, когда и этого недостаточно.