Обсуждение

Если я немного представляю себе вопрос то в терминах переписывания это можно попытаться сформулировать как динамические правила и стратегии переписывания ... и это можно делать уже сейчас, вот только будет жутко медленно и ресурсоемко. http://www.springerlink.com/content/pj750471783x6378/ Или это совершенно разные вещи? Спасибо

Это абсолютно разные вещи -- программа-то имеется ввиду не алгебраическая, а любая компьютерная (с отнюдь не алгебраической семантикой "подстановки"!).

Хм, а что мешает перейти к любой компьютерной программе? - если есть формальные правила ... Еще немного ссылок: http://www.program-transformation.org/Stratego/WebHome

Интерпретация диаграмм: http://www.amazon.com/Come-Lets-Play-Scenario-Based-Programming/dp/3540007873

Конечно, есть множество работ по разным подходам к программированию. Попытка FONC -- сделать так, чтобы можно было программировать одновременно во многих подходах, причем не на уровне синтаксиса ("макроподстановок"), а на уровне семантики. Вот из сегодняшней рассылки FONC: one of the big goals of the project is that a Smalltalk-like object can trivially send messages to objects generated- by/coded-in JavaScript. Понятно, что это не достигается синтаксическими преобразованиями Смоллтока, чтобы привести его в синтаксический вид JavaScript.

Есть макроподстановки и работа с текстом программы. А есть семантические конструкции (например, send в объектных языках, или closures). FONC работает на самом нижнем уровне с семантическими конструкциями, воздерживаясь пока от определения синтаксиса вообще. Синтаксис как раз какой нужно, такой и будет -- уже реализован JavaScript, заявлено о поддержке C и так далее. Синтаксические преобразования и способ их выполнения сейчас неважны. А вот обеспечить запуск продукционной машины типа той, что в Prolog (тоже не берется трансформациями) из JavaScript -- вот типичная цель создаваемой среды (не языка!) программирования.

Спасибо Вам. Сдаюсь :) Вас интересно читать. Помню еще с Компьютерры.