Категориальная абстрактная машина
- Категориальная абстрактная машина (CAM) — модель вычислений для программ, сохраняющая возможности прикладного, функционального или композиционного стиля.
- CAM основан на методах прикладных вычислений и занимает свое место в информатике как теория вычислений для программистов.
- Он представляет собой прозрачное и обоснованное математическое представление для языков функционального программирования.
- Машинный код можно оптимизировать, используя уравнительную форму теории вычислений.
- Используя CAM, можно эмулировать различные механизмы вычислений, такие как рекурсия или отложенное вычисление.
- Теоретически, CAM сохраняет все преимущества объектного подхода к программированию или вычислениям.
- Основной текущей реализацией является OCaml, которая добавила наследование классов и динамическую диспетчеризацию методов в Caml.
Полный текст статьи: