Про один способ организации встроенных ПОЯП, точнее, про организацию сравнения с образцом.

А пока расскажу то же самое, но по-русски. ;)

Обычные комбинаторы сравнения с образцом создают функцию, это описано вот тут. В результате сие сравнение выглядит вот так:
f q = match q ( Read more... )

Архив поста "внешние ПОЯ супротив внутренних ПОЯ"

(ПОЯ - Проблемно-Ориентированный Язык)

Собственно, цитата:I think a lot of people are missing one of the biggest advantages of DSLs, which is the social impact. DSLs are not a tool for separating engineers from business people. Do not build DSLs so that "domain experts can write code in the DSL ( Read more... )

Илея использования Хаскеля, как лучший C (VHDL, Javascript, и тд), чем сам C (VHDL, Javascript, и тп) состоит в использовании системы типов Хаскеля, синтаксиса Хаскеля и частично семантики Хаскеля. Вообще, это получается такая строго типизированная макросистема, возможно, оптимизирующая ( Read more... )

http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-029.pdf

Статья Doaitse Swiertstra про конструирование EDSL.

Жирную! ;)

Источник вдохновения.

Начну с того, что для создания структуры внутри задачи (зависимости, ресурсы и прочее) совсем не обязательно делать монадический код. Достаточно обычных операторов, типа того же Applicative. Тогда уберётся "$ do ...".

Вот такой код:
t12 <- task "HLD" $ do ( Read more... )

( Весьма научное )

(ниже я буду использовать квадратные скобки для параметров шаблонов)

В основном, "дизайн" сводится к построению добрососедских отношений с системой типов C#. Некоторые возможности системы типов достаточно приятны, и ими можно удобно пользоваться.

На работе я сделал прототип вот такого подъязыка для запросов к нашей БД:
string name = "b1 ( Read more... )

Actually compiler design is a pretty powerful programming paradigm (i.e. structuring the programming system as if it were a compiler for some new language) and more widespread usage of this paradigm might have substantial benefits. To say it in other words this is programming technology applicable to a wide range of programming tasks. (C) ( Read more... )

Я про цифровое железо. Про микропроцессоры и цифровую периферию ( Read more... )