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