VD>Теперь по C#. Нитра-C# нужен из следующих соображений:
VD>1. C# имеет довольно внятную и полную спецификацию и огромную кодовую базу. Это позволит качественно верефицировать результат.
VD>2. C# очень близок к Nemerle и 90% работы по нему можно будет (с небольшими изменениями) перенести на Nemerle 2.0.
VD>3. Многие не приняли Nemerle из-за того, что он слишком далеко отошел от C#. Сделав Нитра-C# мы сможем предложить плюшки Nemerle (да еще и реализованные на новом уровне) огромному числу C#-программистов. Тем самым есть надежда создать достаточное комьюнити для развития Нитра-C#-а. А уже далее оно может повлиять и на развитие Нитры, и на развитие Nemerle-а.
Лично мне C# совсем неинтересен, даже с макросами, даже в качестве песочницы. Я на нем не пишу и опробовать его мне просто негде. В отличии от F#.
Какие я вижу проблемы в реализации расширяемого F#:
Significant whitespace синтаксис (хотя Nemerle тоже его поддерживает и, возможно, здесь проблем не будет).
Глобальный вывод типов.
Однопроходный компилятор, поэтому последовательность объявлений типов/функций и порядок файлов важен.
Type Providers — генерят типы лениво и поддерживают так называемые erased types, которые стираются при компиляции.