Уфф.... дописал-таки
http://forum.vingrad.ru/index.php?showtopic=87055

Что-то я совсем запутался... Старый стал, наверно
Добавлено @ 20:41
З.Ы.
статья написана сложновато, с отступлениями, кое-где смысл улавливается с трудом... но плюс ставлю заслуженно - Гигант, сам такое осилил !

Имхо, единственный способ действительно все это осилить и понять - самому экспериментировать и компилировать каждый пример. Именно так я и делал
Добавлено @ 23:49
Пожалуйста, укажи непонятные места, постараюсь объяснить по-лучше

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

Честно говоря, иногда сам не понимал, что они там в примерах пишут. Заставлял себя копи-пастить код в студию и разбирать...

Супер конечно. SQL-like запросы интегрированные в язык это нечто, из-за чего я могу поступиться прЫнципами и перейти на c#
Такого вроде даже в Nemerle нету.

Это сообщение отредактировал(а) Stargazer - 12.3.2006, 06:15

Ну вот наконец до конца дочитал!
Большую часть понял, но в исходниках конечно надо разбираться в живую.


Это как? Может чего-то скачать надо?

Там в конце почитай, есть инструкция вроде...

http://msdn.microsoft.com/vcsharp/future
качай там LINQ Technology Preview.

В Nemerle аналог (и даже клон) LINQ можно сделать очень быстро с помощью макросов, тем более значительная часть необходимого синтаксического сахара в языке уже есть. А вот в Шарпе по-прежнему некоторых элементарных вещей не хватает, и появятся они в нем или нет, решать не нам, а Microsoft.

Ну уж клон DLinq ты там точно не сделаешь...
По содержимому самой статьи (по LINQ) вопросов нет?

Скажу больше, такое можно сделать и в C++.

Тут главное - не сам LINQ, а DLinq, имхо. Жутко удобная технология, позволяющая избавиться от применения бизнес-объектов - объекты - это и есть записи.

Почему ты так уверен? В макросах Nemerle в compile-time доступна вся мощь языка. Макросы компилируются в сборки, которые подключаются компилятором на определенных этапах синтаксического и семантического разбора. Так что любые compile-time преобразования исходников — хоть LINQ в T-SQL, хоть интеграция XML, хоть реализация ORM — никаких проблем не вызовут. При этом возможно обеспечить внятные и прозрачные сообщения об ошибках.

Я имею в виду, нет готовой и такой простой реализации. Самому делать - другое дело .

Ты имеешь в виду простоту создания или простоту использования? Если второе, то, как я уже сказал, можно сделать полный аналог реализации MS. Если первое, то трудоемкость реализации LINQ я оцениваю в один день от силы; про остальное сказать не могу, ни с DLinq, ни с XLinq подробно не разбирался.

Правильно, так их ламеров из M$, по мелкомягкому месту !

А если серьёзно: неужели за 1 день можно заколбасить хотя бы отдалённое подобие линка ? Что-то меня мучают сомнения...

Как время будет, напишу о них отдельно.

На Nemerle — да. То, что товарищи в MS колбасили соответствующий код в компиляторе не один день, я знаю Но метапрограммирование — сильная штука…

Я сам на Nemerle не специализируюсь, кто хочет подробнее — welcome to RSDN: сюда, да и вообще в Философии по этому поводу много в последнее время говорено. Фильтруйте флейм и будет вам масса полезной информации

Это сообщение отредактировал(а) Void - 13.3.2006, 21:25

Пока, к сожалению, больше теоретически...

Ы? Метапрограммирование это те-же самые шаблоны и макросы из C++. Просто в Немерле сейчас самый мощный, распространенный механизм метапрограммирования из языков что мне известны. В совокупности с хорошей библиотекой классов (FCL) Немерле представляеться мне очень и очень неплохой средой разработки ;)
Ох ужи эти слоники...

А что такое DSL ? Вот на RSDN (в том числе в темке про немерле) все говорят что рульная мегатехнология программирования, а никто не объяснит в чём суть.

Суть уловил, но имхо все же я бы не стал так говорить. Метапрограммирование включает в себя гораздо больше понятий. R# смотрели?
MS сейчас очень активно развивает именно эти направления.

Метапрограммирование - это программмирование самого процесса программирования.

Хочу почитать об этом в Wiki
R# – метапрограммирование в .NET

В общем все идет к тому, чтобы программировать не в исходных кодах, а в диаграммах UML, или чего-то похожего, если конечно будет придуманно что-то лучше.

ИМХО правильно сказал один мой знакомый - будущее за скриптовыми языками.

DSL = Domain Specific Language - Язык Предметной Области. Велкам сюда : http://softwarefactories.com/

В двух словах - реализуется словарь понятий прикладной области для которой создается программа, и собственно сама программа пишется на этом языке.
Добавлено @ 13:24
Кстати, Microsoft тут уже засветился

http://msdn.microsoft.com/vstudio/DSLTools/

Языке в языке. Суть в том что для каждой области можно создать свой, специфичный язык и жечь на нём. Такое можно было-бы извлечь из C++ если бы его макросы были посложнее.
В Немерле макросы имеют дело прямо с веткой токенов, и поэтому они мощны

Pegas, Влад фактически отказался от развития R# после знакомства с Nemerle.


Переводя на язык теории, макросы в Nemerle работают с AST, а не с текстовым представлением

Авторы уловили правильное направление, взяли лучшее из макросов Лиспа и CamlP4, отказались от части их возможностей ради большего удобства применения, повысили типобезопасность и обеспечили прозрачный механизм сообщений об ошибках, почти решив одну из основных проблем традиционных макросистем.