http://habrahabr.ru/blogs/net/129833/#habracut

В настоящее время компиляторы C# и Visual Basic представляют из себя чёрный ящик — они берут исходный высокоуровневый код и выдают нам готовый IL-код. Roslyn Project представляет из себя compiler as a service, т.е. компилятор, предоставляющий разработчику API, позволяющее добираться до его внутренних данных. Теперь можно анализировать код и принимать участие в компиляции — проводить модификацию исходного кода, создавать дополнительную функциональность для C# и VB.

На текущий момент Roslyn Project ещё не выпущен, но CTP (Community Technology Preview) можно будет посмотреть недели через две, а полноценно он выйдет в свет вместе с C# vNext (версия C#, которая будет после C# 5.0) и войдёт в Visual Studio.

Как будет выглядеть макрос "when" под Roslyn?

macro whenmacro (cond, body)
syntax ("when", "(", cond, ")", body)
{
    match (cond)
    {
    | <[ $subCond is $pattern ]> with guard = null
    | <[ $subCond is $pattern when $guard ]> =>
        match (pattern)
        {
        | PT.PExpr.Call when guard != null =>
            // generate expression to replace 'when (expr is call when guard) body'
            <[ match ($subCond) { | $pattern when $guard => $body : void | _ => () } ]>
        | PT.PExpr.Call =>
            // generate expression to replace 'when (expr is call) body'
            <[ match ($subCond) { | $pattern => $body : void | _ => () } ]>
        | _ =>
            // generate expression to replace 'when (expr is pattern) body'
            <[ match ($cond) { | true => $body : void | _ => () } ]>
        }
    | _ =>
            // generate expression to replace 'when (cond) body'
            <[ match ($cond : bool) { | true => $body : void | _ => () } ]>
    }
}

Здравствуйте, Аноним, Вы писали:

А>На текущий момент Roslyn Project ещё не выпущен, но CTP (Community Technology Preview) можно будет посмотреть недели через две, а полноценно он выйдет в свет вместе с C# vNext (версия C#, которая будет после C# 5.0) и войдёт в Visual Studio.

Project Kotlin, Project Roslyn, неужели нормальные названия закончились?

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

C>Project Kotlin, Project Roslyn, неужели нормальные названия закончились?

Если уж на то пошло, они закончились ещё до того как назвали Немерле.

А>http://habrahabr.ru/blogs/net/129833/#habracut

Ну если они всё сделают как обещают — то Nemerle от этого только выиграет. Ты не представляешь сколько работы сейчас уходит на интеграцию с косяками студии, её несколькими незаконченными моделями кода и прочей чепухой, которую хоть частично можно будет свалить на этот самый Roslyn.

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

_>Ну если они всё сделают как обещают — то Nemerle от этого только выиграет. Ты не представляешь сколько работы сейчас уходит на интеграцию с косяками студии, её несколькими незаконченными моделями кода и прочей чепухой, которую хоть частично можно будет свалить на этот самый Roslyn.

Если его хорошо сделают, то roslyn может стать сделать бэкендом для генерации кода. Может отпасть множество проблем, начиная от студии, заканчивая сильверлайтами. Немерле наконец сможет сконцентрироваться на том, что у него получается лучше всего, предоставить прекрасные возможности для метапрограммирования. API то у Рослина будет, но его использование не будет сильно отличаться от RT генерации кода с помощью exprssions или IL rewriting. А вот с помощью nemerle это все можно будет использовать на полную катушку.

Так это никакой не убийца, а скорее сигнал людям, что метапрограммирование наконец доступно. Это большой плюс для nemerle.

Здравствуйте, Аноним, Вы писали:

А>http://habrahabr.ru/blogs/net/129833/#habracut

А>В настоящее время компиляторы C# и Visual Basic представляют из себя чёрный ящик — они берут исходный высокоуровневый код и выдают нам готовый IL-код. Roslyn Project представляет из себя compiler as a service, т.е. компилятор, предоставляющий разработчику API, позволяющее добираться до его внутренних данных. Теперь можно анализировать код и принимать участие в компиляции — проводить модификацию исходного кода, создавать дополнительную функциональность для C# и VB.

Вряд ли это убийца, это совсем другого класса продукт, это framework для работы с компилятором С# и VB, но работает эта вещь, как я понял динамически и с текстовыми данными, плюсы квазицитирования он не использует, может быть часть этого можно будет использовать при построении компиляторов и интеграции.

Здравствуйте, Аноним, Вы писали:

А>http://habrahabr.ru/blogs/net/129833/#habracut

А>На текущий момент Roslyn Project ещё не выпущен, но CTP (Community Technology Preview) можно будет посмотреть недели через две, а полноценно он выйдет в свет вместе с C# vNext (версия C#, которая будет после C# 5.0) и войдёт в Visual Studio.

Убийца? Ну, может лет через 20, когда в МС окончательно доростут до МП, то да. Но в ближайшие 10-20 лет немерлу ничего не гроизт. Ну, кроме нашего будещего Н2.

Скажу больше. Возможно получится создать фронтэнд Немерла к Рослину. Так что Рослин — это даже очень хорошо для немерла .

ЗЫ

Тем кто до сих пор побаивается немерали и с надеждой смотрит на рослин, я бы посоветовал учить немерл уже сейчас. Ведь вам этот опыт очень пригодится... через 10-20 лет когда в МС созреют до расширяемого языка.

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

VD>Тем кто до сих пор побаивается немерали и с надеждой смотрит на рослин, я бы посоветовал учить немерл уже сейчас. Ведь вам этот опыт очень пригодится... через 10-20 лет когда в МС созреют до расширяемого языка.

Кстати, давно хотел спросить, в чём причина того, что Хёлсберг не хочет макр? Как раз на презентации Рослина он хвастался новыми атрибутами и что удалось добавить фичи для тестов и отладки без добавления макр. Сложилось впечатление что он резко против макр.

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

R>Кстати, давно хотел спросить, в чём причина того, что Хёлсберг не хочет макр?

Это надо у него справшивать. Его ответ нашим МВП-ам был "Это слишком большая пушка.".

Про немерл ему много раз говорили но он "не смог найти описания на сайте". Короче, ему даже смотреть в лом, похоже .

R>Как раз на презентации Рослина он хвастался новыми атрибутами и что удалось добавить фичи для тестов и отладки без добавления макр. Сложилось впечатление что он резко против макр.

Я могу только гадать. Ему уже сильно за 40 и он превратился из новатора в консерватора (в соответствии с известным афоризмом). Он думает о миллионах обезьянок из (особенно из Индии и Китая). А им опасно давать слишком сильное оружие. На чем основано это мнение? Да черт его знает. Их страны давно владеют ядерным оружием и ничего страшного не случилось.

Потом у Хейльсберга нет реальной практики использования макросов и отсюда неминуемо возникают домыслы... С IDE будут проблемы... Появится море несовместимых языков... и т.п.

Но сам Рослин показывает, что они все же взяли общее направление в верную сторону. 5 лет назад их пушкой туда нельзя было развренуть. Сейчас над компилятором шарпа работает не мало (в том числе) наших соотечественниктов при этом очень талантливых (Ников, Осенков). Они знакомы с Немерле не по наслышке и, надеюсь, будут черпать вдохновение и из него.

Так что по моим прикидкам через 10-20 лет мы получим современный аналог Немерле от Майкрософт. Он будет вылизан, грамотно спроектирован и написан, но это будет не Немреле, так как в Немерле исходно имеется фатальный недостаток, ну вы знаете какой.

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

VD>Так что по моим прикидкам через 10-20 лет мы получим современный аналог Немерле от Майкрософт. Он будет вылизан, грамотно спроектирован и написан, но это будет не Немреле, так как в Немерле исходно имеется фатальный недостаток, ну вы знаете какой.

Понятно.
Ну да, Рослин радует, впрочем как и эвэйт с асинком.
Может Андерс сказал про "ту биг ган" даже не по той причине, что боится за обезьянок, а по той причине, что макры прикручивать это намного дольше и сложнее, есть опасность сделать криво и с точки зрения развития может подгубить всё.
В конце концов, люди которые пушат F# и динамику, вряд ли боятся, что макры попадут в руки "индусам", ибо на динамике можно ещё более страшную идусятину понаделать.
Наверное "ту биг ган" следует читать как "ту биг таск виф вери хай рискс вич ви трай ту авоид".

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

R>Понятно.
R>Ну да, Рослин радует, впрочем как и эвэйт с асинком.

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

R>Может Андерс сказал про "ту биг ган" даже не по той причине, что боится за обезьянок, а по той причине, что макры прикручивать это намного дольше и сложнее, есть опасность сделать криво и с точки зрения развития может подгубить всё.

Если у ни было желание, то они бы взяли на работу Камила Скальски, меня и каких нить лиспарей с опытом, и через год имели бы идеальную реализацию.

R>В конце концов, люди которые пушат F# и динамику, вряд ли боятся, что макры попадут в руки "индусам", ибо на динамике можно ещё более страшную идусятину понаделать.

F# явно никогда не станет мэйнстримом.

В прочем F# в не малой степени повлиял на развите дотнета и C#-а. Если бы не он, то не быть в C#-е даже полноценных дженериков. Не то что лямбд и линка.

R>Наверное "ту биг ган" следует читать как "ту биг таск виф вери хай рискс вич ви трай ту авоид".

Почти уверен в обратно. Сил (читай бабла) у МС выше крышу.

Но еще раз подчеркиваю, что это вопрос не ко мне. На него даже те кто пишет шарпе вряд ли ответят. Это вопрос для Хейльсберга. В прочем, и он может честно не ответить.

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

C>>Project Kotlin, Project Roslyn, неужели нормальные названия закончились?

DR>Если уж на то пошло, они закончились ещё до того как назвали Немерле.

Нормальные имена кончились примерно когда Авраам родил Исаака. А когда называли улицы Манхеттена и Васильевского острова, этот факт наконец-то признали.

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

VD>В прочем F# в не малой степени повлиял на развите дотнета и C#-а. Если бы не он, то не быть в C#-е даже полноценных дженериков. Не то что лямбд и линка.

Это, скорее, влияние самого Дона Сайма, чем его детища

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

VD>>В прочем F# в не малой степени повлиял на развите дотнета и C#-а. Если бы не он, то не быть в C#-е даже полноценных дженериков. Не то что лямбд и линка.

D>Это, скорее, влияние самого Дона Сайма, чем его детища

Согласен, но, думаю, что тут одно определяет другое. Не было бы увлечения F#-ом, дженерики могли бы и не появиться. И наоборот.