Продумать взаимодействие с host-стороной

[impworks]

Скрипт должен иметь возможность взаимодействовать с вызывающей его стороной. Для этого интерпретатору перед исполнением должны скармливаться типы и методы, которыми скрипт сможет манипулировать.

Необходимо продумать то, как сгенерированная с помощью Reflection.Emit сборка сможет получать к ним доступ.

Хотелось бы, например, сделать вот так:

script.AddType(typeof(System.Math));
script.AddMethod("log", (string s) => Console.WriteLine(s));

[ForNeVeR]

Поскольку мы так или иначе будем хранить внутри интерпретатора список импортированных типов, нет проблемы добавить туда ещё один объект. С лямбдами будет чуть интереснее - поскольку конвенция вызова функций lens и внешних объектов может отличаться, то, возможно, нам придётся эмитить или генерировать специальные врапперы над внешними функциями, переданными нам в рантайме.

[impworks]

Типы - окей. Будем хранить Dictionary<string, Type>. А вот насчет функций хотелось бы какой-то универсальный способ, чтобы не писать по переопределенной версии AddMethod на все возможные Func<...> и Action<...> - чтобы количество и тип параметров определялись сами.

[ForNeVeR]

Для AddMethod вполне можно написать обобщённый вариант, который принимает делегат, а дальше парсит рефлекшеном его параметры. А вот для lens придётся эмитить конкретные строго типизированные врапперы.

Жаль, что в дотнете нельзя иметь список типов-параметров, как в C++ в конструкции template<class T... args>.

[impworks]

Реквестирую utility-функцию (набор функций), переводящий Func<...>, Action<...> или указатель на метод в нечто вроде:

class MethodInfo
{
    public List<Type> ParameterTypes;
    public Type ReturnType;
}

[ForNeVeR]

Вообще-то это всё уже сделано до нас и называется [Delegate.Method : MethodInfo](http://msdn.microsoft.com/en-us/library/system.delegate.method(v=vs.100\).aspx).

Там есть всё необходимое: GetParameters, ReturnType и даже Name.

Мне не кажется, что вообще есть необходимость перегонять эти данные в некую нашу структуру.

От пользователя требуется только преобразовать его лямбду к делегату, если у него именно лямбда. То есть всякие Action<T> и Func<T> мы поддерживаем автоматически.

[impworks]

Окей, хорошо, так даже лучше.

[impworks]

Начал запиливать потихоньку в ветке master.

[impworks]

Типы, методы, свойства импортируются. Можно закрывать.