{}(:("name") =>(internal:createText("""Jörg""")), :("age") =>(31) )
 

Это просто оставляет нас с номером, который, как вы уже догадались, также является отправкой сообщения:

 {}(:("name") =>(internal:createText("""Jörg""")),
   :("возраст") =>(внутренний:createNumber("""31""")))
 

Поскольку все является отправкой сообщения, это позволяет вам настраивать поведение литералов по желанию, просто реализуя соответствующие методы. Вот короткая стенограмма с iik , интерактивный Ioke REPL:

 iik> "Привет"
+> "Привет"
iik> внутренний: createText = метод (необработанный, супер (необработанный) верхний)
iik> "Привет"
+> "ЗДРАВСТВУЙТЕ"
 

Converge позволяет использовать мощное метапрограммирование во время компиляции, включая функцию под названием DSL Blocks . Блок DSL — это блок кода, который не использует синтаксис Converge. Блок DSL выглядит так:

 $<>:
    
      здесь
    
 

Это работает следующим образом: строка между $<< и >> является именем функции, которая вызывается во время компиляции и получает весь блок DSL в виде строки (а также как некоторые метаданные исходного кода, такие как номер строки, имя файла и т. д.) и возвращает фрагмент абстрактного синтаксического дерева сходимости. Таким образом, в этом конкретном случае будет такая функция:

 func xml(dsl_block, src_infos):
    // реализуем XML-анализатор здесь . ..
    вернуться на восток
 

Фактор позволяет определить слов разбора , которые являются словами, которые влияют на то, как анализируются другие слова в той же области. На самом деле Factor имеет реализацию библиотеки XML, которая использует синтаксические слова для получения синтаксиса, очень похожего на XML-литералы Scala, но являющегося обычным кодом Factor:

 : feed>xml ( feed -- xml )
    [название>>]
    [ URL>> присутствует ]
    [ записи>> [ запись> xml ] карта ] три
    
            <название><->
            <ссылка href=<-> />
            <->
        
    XML> ;
 

[Краткое введение в Factor: : определяет новое слово, то есть первая строка определяет слово с именем feed>xml , которое принимает один аргумент и дает один результат. Первые три строки слова извлекают заголовок, URI и записи из объекта фида и помещают их в стек. — это слово синтаксического анализа, которое включает режим XML, а XML> снова выключает его. Внутри кода XML <-> берет значение из стека и вставляет его в XML.]

Common Lisp

Макросы Common Lisp Reader позволяют вам подключиться к этапу чтения, то есть к этапу, который берет строку и создает вложенные списки, а затем передает их компилятору/оценщику. Они требуют, чтобы вы выбрали уникальный префикс из одного или двух символов, и они являются глобальными. С первым не так много проблем, так как мы можем просто выбрать символ < в качестве нашего префикса, чтобы он выглядел естественно.

Perl 6 должен позволять вам изменять синтаксис во время работы программы. Perl 6 имеет динамическую изменяемую грамматику, что означает, что код анализируется во время его выполнения и может изменить грамматику, чтобы другой код, находящийся дальше в файле, анализировался с использованием новой грамматики.

OMeta/COLA

Язык OMeta Алессандро Варта, работающий поверх системы COLA Яна Пиумарты, позволяет использовать то, что они называют «языками, зависящими от настроения». т.е. языки, спецификация и реализация которых настолько легки, что вы можете использовать их только для одной строки в середине вашей программы, а затем снова переключаться на другой синтаксис.

Используется в программе «Изобретение фундаментальных новых вычислительных технологий» в Исследовательском институте точки зрения Алана Кея. Одним из примеров использования является реализация всего сетевого стека TCP/IP всего в 200 строках кода путем разработки языка, синтаксис которого идентичен художественным диаграммам ASCII, используемым в IETF RfC, и другому языку для написания конечных автоматов сетевого протокола. Затем реализация сетевого стека просто состоит из копирования и вставки диаграмм ASCII из RFC и передачи описаний конечного автомата на английском языке из RFC в язык конечного автомата.

(О, если вам интересно: 200 строк предназначены не только для диаграмм ASCII и конечных автоматов. Они также включают синтаксические анализаторы и компиляторы для двух языков. )

Язык программирования π, вероятно, тоже интересен .

2016 Декабрь « Буквальное мышление

Одна из вещей, которые я не упомянул в своем обзоре Words on the Move Джона МакУортера, заключалась в том, что он использовал минимальные пары для изучения гласных английского языка. Минимальная пара — это пара слов или фраз, идентичных во всех аспектах, кроме одного, выбранных таким образом, чтобы проиллюстрировать, как этот аспект приводит к различию в значении или грамматике. Например, большинство носителей английского языка находят предложение Что и где я буду спать? неграмотно, но если мы изменим всего одно слово, заменив глагол спать глаголом учить , предложение улучшится для многих говорящих: Чему и где я буду учить? Этот факт можно затем использовать в качестве доказательства для вашего анализа синтаксиса wh-вопросов, или семантики глаголов, или, возможно, других теоретических вопросов. В фонологии минимальные пары нацелены не на слова, а на звуки речи.