Заметки - ponyatov/nimbook GitHub Wiki
Очень правильным кажется подход, когда на верхнем уровне используется какой-то абсолютно динамический язык типа смеси Лиспа, Пролога (семантика) и Питона (синтаксис), на которым нужная система пишется на самом верхнем уровне: развертывание, концепты, потоки данных, шаблоны проектирования,..
А потом эта модель транслируется под нужный стек, и пусть production-ready backend-язык разбирается со всякими типами, потоками и т.п. — и компилировать можно для чего угодно: хочешь жаба в облаке, хочешь пачка микроконтроллеров с 8К ОЗУ
Но по факту — зарываешься в детали, и всё накрывается уже на этапе бутстрапа интерпретатора на самом себе 8(
- фреймовая модель
- Marvin Minsky A Framework for Representing Knowledge
- Марвин Минский Фреймы для представления знаний
Читаешь, и сразу думаешь -- ведь это абсолютно прозрачно ложится на любой современный язык программирования с ООП. И база знаний для проектирования ПО подходит идеально: описывай декларативно, какую систему хочешь, какие алгоритмы использовать там я сям, а в отдельном слое -- процедурные знания, как трансформировать тот или иной концепт в куски исходного кода, еще и в разных вариантах для разных языков и библиотек.
а именно чистый message passing без функцианальщины, и синтаксических соплей?
<trololo>
неохота тратить время на изучение всякой тухлятины для инопланетян, только для того чтобы понять подходит ли концепция, и стоит ли ёё передирать под человеческие языки </trololo>