в фп, по моему, тема инкрементальной компиляции загнулась где-то в начала 90-х, дальше только больше полнопрограммных анализов и других вещей которые требуют бразиллионов гигов памяти и лет компиляции
пусть больше гигов памяти жрёт и ещё больше лет компиляции со старта, но чтобы инкрементально всегда n log m, где n - объём изменений, m - объём проекта