• stg mstg В догонку к #2761901. Если вносить внутрь промежуточного языка работу со стеком, то почему бы не вынести туда и стек, например? Вообще-то потому что стек как алгебраический тип, потребует того чтобы при заходе в каждый конструктор данные распаковывались на стек. Наверное это можно решить хитрым анализом строгости. Хотя я всё равно не очень представляю как выглядит эффективный двусвязный функциональный список.

Replies (1)