Исправление alienclaster, (текущая версия) :
В Nemerle - какой-то мрак в сочетании макросов с объектной моделью .NET
А что вообще могут дать статически типизированные макросы? Проверку корректности генерируемого синтаксиса? Че, серьезно что ли? А это как, если мы макросы пишем для расширения синтаксиса, по сути? Гарантию неперекрытия синтаксиса одного макроса другим? А вдруг все так и задумывалось? Один макрос раскрывается в вызове другого? Проверка корректно ли он разложился на плес^W функции и спецопы? От этого, возможно, есть некоторая польза - но это не про статическую типизацию вообще, а про какой-нибудь статический анализ с варнингами. Про доступ в макросе к несуществующим полям структуры тоже в статике ошибку будем клеить? А если за время жизни системы эти поля появляются и исчезают?
Даже какую-то глупую отмазку придумали, что мол, если нужны вам макросы, то вы что-то делаете не так. Право смешно читать их :)
А можно линк?
Исходная версия alienclaster, :
В Nemerle - какой-то мрак в сочетании макросов с объектной моделью .NET
А что вообще могут дать статически типизированные макросы? Проверку корректности генерируемого синтаксиса? Че, серьезно что ли? А это как, если мы макросы пишем для расширения синтаксиса, по сути? Гарантию неперекрытия синтаксиса одного макроса другим? А вдруг все так и задумывалось? Один макрос раскрывается в вызове другого? Проверка корректно ли он разложился на плес^W функции и спецопы? От этого, возможно, есть некоторая польза - но это не про статическую типизацию вообще, а про какой-нибудь статический анализ с варнингами. Про доступ в макросе с несуществующим полям структуры тоже в статике ошибку будем клеить? А если за время существования системы эти поля появляются и исчезают?
Даже какую-то глупую отмазку придумали, что мол, если нужны вам макросы, то вы что-то делаете не так. Право смешно читать их :)
А можно линк?