Тема: парадигмы

Статья

Декларативное и логическое программирование

Что на самом деле означает «описывать что, а не как»: унификация и SLD-резолюция в Prolog, Datalog и его полиномиальные гарантии, солверы SAT/SMT и CP, SQL и …

#парадигмы#логическое программирование#prolog

Статья

Аспектно-ориентированное и событийно-ориентированное программирование

Две парадигмы неявного вызова: аспекты вмешиваются в чужой поток управления по срезу точек соединения, события инвертируют его во времени. Модель точек соединения и виды …

#парадигмы#аспектно-ориентированное программирование#событийно-ориентированная архитектура

Статья

Автоматное программирование: состояние как явная величина

Парадигма, в которой состояние перестаёт быть россыпью булевых флагов и становится перечислимым множеством: таблица переходов как данные, эффекты отдельно от решения, …

#парадигмы#конечные автоматы#состояние