Корнилий Абрикосова

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