Кир Максимов

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