ADT "идеальны" лишь в том смысле, что похожи на БНФ-нотацию. Остальные тезисы, скорее, напоминают о желании поставить "телегу впереди лошади". Это в духе нашего прошлого спора на тему подходящего ЯП для разработки компиляторов. Кажется, никто всерьез не пробовал начать с выбора ключевых околокомпиляторных нотаций и алгоритмов.

Есть такой проект - Nitra. Создателя языка Nemerle пригласили в Jetbrains для того, чтобы он запилил некий тулчейн, упрощающий поддержку новых языков в IDE. И вот там есть, кажется, штук 5 отдельных DSL для различных аспектов языка - грамматика, семантика, и так далее. Я был на выступлении автора, выглядело весьма впечатляюще. Жаль, что в итоге «не взлетело»

Есть такой проект - Nitra. Создателя языка Nemerle пригласили в Jetbrains для того, чтобы он запилил некий тулчейн, упрощающий поддержку новых языков в IDE. И вот там есть, кажется, штук 5 отдельных DSL для различных аспектов языка - грамматика, семантика, и так далее. Я был на выступлении автора, выглядело весьма впечатляюще. Жаль, что в итоге «не взлетело»

так в Nemerle система макросов же гигиеничная, тогда почему у Лиспов лучше?

так в Nemerle система макросов же гигиеничная, тогда почему у Лиспов лучше?

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

В расте можно нормально жить с процедурными макросами после появления syn и quote, но да, UX их использования совершенно никакой. В особенности по сравнению с лиспами.

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

Хехе. Учитывая что гайд по с# полный 1100 страниц, а укороченный 200 (туда попали все фичи, просто урезали объяснения), то можно. И мне кажется такой формат самый лучший. Когда даётся краткое объяснение и общая концепция, а если непонятно то даются линки на полные объяснения. Не знаю как вам, мне практически всегда достаточно пару предложений чтобы вникнуть в тему. Ещё пара чтобы понять зачем, и примерно полстраницы-страница как это на практике реализовывается. Лучше писать меньше предложений но загружать больше смысла в них.

что мне понравилось в Nemerle касательно макросов так это то что метаинфа о типах доступна через апи компилятора и можно этими типами манипулировать как объектами первого класса (в расте тоже, только типов нет, что существенно сокращает возможности конечно)

Судя по твоим сообщениям, Rust ты именно так и учил

По сообщениям компилятора об ошибках, ага. 😊

а что советуете по расту читать?

Судя по твоим сообщениям, Rust ты именно так и учил

А потом код обмазан клонами

А потом код обмазан клонами

А потом код обмазан клонами