Здравствуйте, STDray, Вы писали:

STD>Немерл не является надмножеством шарпа.

Он даже не является надмножеством самой самой основы шарпа. В этом и проблема.

STD>Надо понимать, что ядро Немерле — минималистичный ML

Есть одна проблемка — минималистичный ML нужен только гикам.

STD>, но возможности его макросистемы позволяют создать диалект достаточно близкий к C#.

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

STD>Это, имхо, знатное чсв, что можно взять шарп и что-то там убрать или добавить.

Как любит говорить один старый пользователь RSDN — перешел на личности значит слил.

STD> Шарп делают умнейшие люди

Ты как то извратно все понял. Дело не в неумности тех, кто занимается шарпом. Дело в необходимости обеспечения обратной совместимости даже в мелочах. 100% компилируемость старого кода — строгий императив.

STD>Ну микроядро языка позволяет строить разные языки.

Опять позволяет. Все разговоры в будущем времени.