Полнотиповое программирование может поддерживаться на уровне системы типов языка или вводиться программистом идиоматически. Например, определение функции, которое использует сопоставление с образцом,
Полнотиповое программирование может поддерживаться на уровне системы типов языка или вводиться программистом идиоматически. Например, определение функции, которое использует сопоставление с образцом, для выбора одного из вариантов вычисления или извлечения элемента данных из составной структуры, напоминает уравнение. Erlang — функциональный язык программирования с сильной динамической типизацией, предназначенный для создания распределённых вычислительных систем. Популярность Erlang начала расти