Пост навеян свежим ПФП. Статья про circumflex, вот этим вот:

// Выбрать все города Швейцарии, вернуть Seq[City]:
SELECT (ci.*) FROM (ci JOIN co) WHERE (co.code LIKE ”ch”)
ORDER_BY (ci.name ASC) listСтоило ли огород городить, если на выходе всё равно получается нечто, что ( Read more... )

Еще перед новым годом я обещал интересную статью, но, даже написав большую часть, я умудрился это дело куда-то слить и начисто обо всем забыть :)

Тем не менее, каким-то невероятным образом гугл обнаружил и заиндексировал черновик, и незнакомые люди начали меня благодарить за статью =) Данный факт починил мне память и выдал недостающего ментального ( Read more... )

Насколько я понимаю, в мире пока не существует ни одного полноценного языка программирования общего назначения, который в полной мере поддерживал бы зависимые типы. Если я не ошибаюсь -- всяческие agda2 и coq достаточно ограничены в плане применимости ( Read more... )

Написал макрос, который генерирует макрос, который генерирует метод, в котором определены macrolet'ы :)

В самом нижнем уровне вложенности backquot'ов переменные сверху вытаскиваются через тройной анквот: ,',', :-/

First-class Macros. Сайт по ссылке там лежит, поэтому вот прямой линк на статью: http://people.csail.mit.edu/alan/mtt/popl00.ps.gzRead more... )

Заказанное продолжение к этому посту про рекурсивные макросы :)

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

(define-struct beer (brand container capacity alcohol))

Это типа объявление нового типа beer, которое имеет поля с ( Read more... )