• stg Updatable-флаг можно выставить любой лямбда-форме. С другой стороны обновление замыкания значение осуществляется только для санка — заамыкания не зависящего от переменных. Тогда не вполне понятно как трактовать наличие данного флага у функций? В Implementing lazy functional languages on stock hardware в разделе 4.2 написано что совершенно безопасно эти флаги можно (но не нужно развесить везде), но мне тем не менее непонятно что должен сделать компилятор найдя такой флаг на верхнеуровневой функции.

Replies (2)