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