Например, определение функции, которое использует сопоставление с образцом, для выбора одного из вариантов вычисления или извлечения элемента данных из составной структуры, напоминает уравнение. Python поддерживает несколько парадигм программирования, в том числе структурное, объектно-ориентированное, функциональное, императивное и аспектно-ориентированное. Полнотиповое программирование — стиль программирования, отличающийся обширным использованием информации о типах с тем, чтобы механизм проверки согласования типов обеспечил раннее выявление максимального количества всевозможных разновидностей багов. В наш век информации слишком много, чтобы понять кто прав, а кто лукавит. Сопоставление с образцом распространено даже на битовые строки, что упрощает реализацию телекоммуникационных протоколов. Erlang является декларативным языком программирования, который скорее используется для описания того, что должно быть вычислено нежели как. Является одним из самых распространённых языков программирования с поддержкой отложенных вычислений. Это способ концептуализации, определяющий организацию вычислений и структурирование работы, выполняемой компьютером.