Продумать схему реализации замыканий about lens HOT 4 CLOSED

Второй вариант выглядит громоздким и костыльным. Я совершенно уверен, что первый значительно лучше - пусть и немного сложнее.

from lens.

А мне второй вариант кажется более простым и менее бажным. Там подмена переменной на поле будет производиться в двух местах (get \ set) на уровне IL-кода, и мы ничего не заметим. А в случае с первым есть как минимум шесть различных мест, представленных разными нодами:

a
a.fiield
a[index]
// и еще 3 соответствующих им lvalue

Возможно, есть и другие, которые я навскидку не вспомнил.

from lens.

В общем замыкания реализуются следующим образом:

1. У каждой области видимости создается Scope, хранящий информацию о видимых локальных переменных.
2. Метод Prepare предварительно обходит каждую из функций, включая главную, в поисках лямбда-выражений.
3. Если хотя бы одно найдено, создается специальный тип с нечитаемым именем, который будет хранить замыкания. Самая лямбда-функция связывается с MethodBuilder для одного из методов этого типа.
4. Тело лямбды обходится в поисках локальных переменных из внешней области видимости.
5. Под каждую такую переменную создается поле в closure-классе, и она помечается как замкнутая в своем Scope.

from lens.

Схема придумана и реализована в виде следующих механизмов:

1. Связки методов ProcessClosures и GetChildNodes в классе NodeBase.
2. Класса Scope и его возможности сцепляться с родительской областью видимости.

from lens.