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