Как интерпретировать
модель контрактного программирования
с точки зрения модели акторов … посылка
сообщения от интерпретатора может
интерпретироваться как оферта
(обязательства), например, публичная,
где подписанты, фактически, акцептируют
контракт … как-то так … а что касается
языково-ориентированного программирования,
то конструирование «предметно-ориентированного
языка» по сути и есть конструирование
интерпретатора … Чтобы не делать акцента
на «языковости» можно говорить о
лингвистическом программировании или
литературном, а ещё лучше грамотном (по
Кнуту) *
… и, наконец, самое главное, взаимодействуя
с компьютером, мы взаимодействуем с
конкретной программой, телеграфируя
ей свои требования и получая в ответ её
реакцию, в роли «пользователей» … Но
когда проектируем программы, программируем,
то создаем интерпретаторы со
специфическим функционалом, своей
памятью и даже своим синтаксисом
… соответственно существует интерфейс
входа (протокол), который по факту диспетчер,
дистрибьютор, супервизор, подобно
главпочтампу, принимающему сообщения
и распределяющему их между подписантами
или подходящим интерпретаторам по
шаблону (формату) … Для мета-интерпретатора в
такой интерпретации не хватает реакции
или самообучения любому входу,
трансформации и соответствующего
интерпретатора и, наконец, генерации
каких-то сообщений помимо реакции на
другие (при этом, которые не обязательно
конвенциональные и найдутся интерпретаторы
кроме генератора) … Более того, если
подобный мета-интерпретатор будет
способен интегрировать в себя все
имеющие интерпретаторы, то станет
инфраструктурой для взаимодействия и
оптимизации этих интерпретаторов
«внутри себя», симулируя «самосознание»
… И это может быть вариантом конструктивного
определения интеллекта … моделью
интеллекта, например, в проекции
исключительно символьных вычислений
без выхода на прагматику внешних
физических интерпретаций, без рассмотрения
всего спектра потенциальных физических
сенсоров … И это не противоречит модели
переписывания, в которой общая структура,
которую постоянно трансформируют
интерпретаторы и есть, не что иное как, внешняя знаковая система, библиотечные
фонды текстов и тех же программ, тот же
гипертекст в сети …
Эта книжка не
об этом, но она крутая … Хорошо бы
написать, что-то в таком духе, только
проще и соответственно в терминах
моделей и интерпретаторов. Это полдела
на пути спецификации мета-интерпретатора.
https://telegra.ph/Racket-12-20