Прикладные вычислительные системы
-
Основы прикладных вычислительных систем
- ACS основаны на комбинаторной логике и лямбда-исчислении.
- Основное понятие — представление объекта.
- Комбинаторная логика использует приложение, а лямбда-исчисление — приложение и функциональную абстракцию.
-
Особенности объектов в ACS
- Функциональные объекты с переменной арностью.
- Функции и аргументы рассматриваются на равных правах.
- Возможность самостоятельного применения функций.
-
Применение ACS
- ACS способствуют прикладному подходу к программированию.
-
Проблемы и ограничения ACS
- Отсутствие памяти и чувствительности к истории ограничивает их применение в компьютерном проектировании.
- Основная операция в лямбда-исчислении — подстановка — требует больших вычислительных ресурсов.
-
Дополнительная информация
- Ссылки на литературу и рекомендации по использованию системы.
- Упоминание о Х. Карри и его вкладе в вычислительные модели.
Полный текст статьи: