Севастьян Климентов

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