Раифа Свечин

Haskell — стандартизированный чистый функциональный язык программирования общего назначения. В то же время стандартная библиотека включает большой объём полезных функций. Erlang является декларативным языком программирования, который скорее используется для описания того, что должно быть вычислено нежели как. Erlang был целенаправленно разработан для применения в распределённых, отказоустойчивых, параллельных системах реального времени, для которых кроме средств самого языка имеется стандартная библиотека модулей и библиотека шаблонных решений (так называемых поведений) — фреймворк OTP. Полнотиповое программирование может поддерживаться на уровне системы типов языка или вводиться программистом идиоматически. В то же время стандартная библиотека включает большой объём полезных функций. Полнотиповое программирование — стиль программирования, отличающийся обширным использованием информации о типах с тем, чтобы механизм проверки согласования типов обеспечил раннее выявление максимального количества всевозможных разновидностей багов. Полнотиповое программирование может поддерживаться на уровне системы типов языка или вводиться программистом идиоматически.