Инициировал очередной тиддливики файл для анализа архитектуры urbit. Как глубоко заметил deep-econom необходимо проанализировать реализацию их виртуальной машины в сравнение с концепцией EVAL в Lisp. Я бы ещё добавил с экспериментами выделения минимального базиса слов Forth. Вывод минимального количества аппликаторов (комбинаторов, лямбд, стрелок, модификаторов, правил, шаблонов, паттернов, МОДЕЛЕЙ ... что и надо специфицировать как базовые интерпретаторы) - эвристика, потому что эффективность как баланс между скоростью и памятью зависит от аппаратных реализаций. Теоретически достаточно два, комфортнее четыре, а может шесть, восемь, двенадцать ... а то и 16 или даже 18. Надо экспериментировать, как и с размерами базовых фрагментов памяти. Но это того стоит. Получить свой стандарт виртуальной машины, учитывающей операционнцю среду с её пространством имен типа адреса, файлов, директорий, портов, процессов, сервисов, демонов ввода-вывода и так далее, прежде всего, оптимизировав интерфейс с хостом.
Сразу возникают и ассоциации с kx-systems, кстати, где база данных, что примечательно, явно, центральный аспект. По сути, надо проанализировать, параллельно интернет-интерфейс на предмет включения в ядро, механизмы взаимодействия с сетью и графический интерфейс, сразу работающий с холстом для представления графов и фрагментов ассоциативного массива.
Ответы на эти вопросы, выработка логической позиции - "розеттский камень" программирования.
Комментариев нет:
Отправить комментарий