Марта Беляева

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