Erlang


Erlang
Erlang
Erlang logo.png
Семантика:

мультипарадигмальный: параллельное, функциональное программирование

Появился в:

1987

Автор(ы):

Ericsson Computer Science Laboratory

Релиз:

Erlang/OTP R15B02[1] (5 сентября 2012)

Типизация данных:

строгая, динамическая

Основные реализации:

Erlang, Erlang HiPE

Erlang [ˈɜːlæŋ] — Э́рланг — функциональный язык программирования с динамической типизацией, предназначенный для создания распределённых вычислительных систем. Разработан и поддерживается компанией Ericsson. Язык включает в себя средства порождения параллельных процессов и их коммуникации с помощью асинхронных сообщений и в соответствии с моделью акторов. Программа транслируется в байт-код, исполняемый виртуальной машиной, что обеспечивает переносимость. Кратко формулу языка можно выразить как Erlang = функциональный язык + процессы.

Назван в честь датского математика и инженера Агнера Эрланга, основателя научного направления по изучению сетевого трафика в телекоммуникационных системах. По другой версии название языка изначально было сокращением от «ericsson language».

Содержание

Синтаксис

Синтаксис унаследован от Prolog; компактен, содержит минимум конструкций, лёгок для освоения, но не примитивен. Синтаксис поддерживает модули, полиморфные функции, сопоставление с образцом, анонимные функции, условные конструкции, структуры, обработку исключений, оптимизацию хвостовой рекурсии, что и образует базовый арсенал современных функциональных языков.

Отсутствие присваиваний позволяет Erlang избежать таких традиционных для императивных языков проблем в распределённых приложениях, как необходимость синхронизации, опасность возникновения тупиков и гонок.

Работа с процессами

Отличительной особенностью языка является модель легковесных процессов (аналогично потокам в OpenMP), реализация поощряет создание большого количества таких процессов. Эти процессы изолированы друг от друга и не имеют общего состояния, между процессами можно установить связь и получить сообщение об их состоянии. Для взаимодействия процессов используется асинхронный обмен сообщениями. Процесс имеет свою очередь сообщений, а при её обработке используется сопоставление с образцом.

Отсутствие необходимости блокировки доступа к состоянию процесса для синхронизации их взаимодействия упрощает разработку. Для работы с ресурсами, как правило, создаётся процесс-монитор.

По мнению разработчиков, важным преимуществом языка является принцип работы процесса «let it crash» («пускай падает»). Вместо перехвата ошибок и попытки продолжения работы, часть программы, содержащая рискованный код, выделяется в отдельный «процесс-смертник», который система завершает в случае возникновения ошибки, а процесс-родитель получает соответствующие сообщения и обрабатывает их. Это позволяет избавиться от многочисленных проверок.

Распределённое программирование

Запущенный экземпляр эмулятора Erlang называется узлом (англ. node). Узел имеет имя и «знает» о существовании других узлов на данной машине или в сети. Создание и взаимодействие процессов разных узлов не отличается от взаимодействия процессов внутри узла. Для создания процесса на другом узле процессу достаточно знать его имя и, без особых на то оснований, он может не интересоваться физическим расположением взаимодействующего с ним процесса.

Программы, написанные на Erlang, способны работать на нескольких узлах. Узлами могут быть процессоры, многие ядра одного процессора, либо целый кластер машин. Чем сложнее приложение и чем больше оно создаёт процессов, тем легче его масштабировать; и наоборот, если не используются преимущества функционального программирования, то можно ограничиться единственным процессом.

Примеры

Вычисление факториала на Erlang:

-module(fact).    % This is the file 'fact.erl', the module and the filename must match
-export([fac/1]). % This exports the function 'fac' of arity 1 (1 parameter, no type, no name)
 
fac(0) -> 1; % If 0, then return 1, otherwise (note the semicolon ; meaning 'else')
fac(N) when N > 0, is_integer(N) -> N * fac(N-1).
% Recursively determine, then return the result
% (note the period . meaning 'endif' or 'function end')

Алгоритм сортировки (похожий на быструю сортировку):

%% qsort:qsort(List)
%% Sort a list of items
-module(qsort).     % This is the file 'qsort.erl'
-export([qsort/1]). % A function 'qsort' with 1 parameter is exported (no type, no name)
 
qsort([]) -> []; % If the list [] is empty, return an empty list (nothing to sort)
qsort([Pivot|Rest]) ->
    % Compose recursively a list with 'Front' for all elements that should be before 'Pivot'
    % then 'Pivot' then 'Back' for all elements that should be after 'Pivot'
    qsort([Front || Front <- Rest, Front < Pivot])
    ++ [Pivot] ++
    qsort([Back || Back <- Rest, Back >= Pivot]).

Этот пример рекурсивно вызывает функцию qsort до тех пор, пока элементы не закончатся. Выражение [Front || Front <- Rest, Front < Pivot] собирает список Front из элементов Rest таких, что элемент Front меньше Pivot. Оператор ++ склеивает списки.

Можно сортировать сложные структуры через функцию сравнения:

% This is file 'listsort.erl' (the compiler is made this way)
-module(listsort).
% Export 'by_length' with 1 parameter (don't care of the type and name)
-export([by_length/1]).
 
by_length(Lists) -> % Use 'qsort/2' and provides an anonymous function as a parameter
   qsort(Lists, fun(A,B) -> A < B end).
 
qsort([], _)-> []; % If list is empty, return an empty list (ignore the second parameter)
qsort([Pivot|Rest], Smaller) ->
    % Partition list with 'Smaller' elements in front of 'Pivot' and not-'Smaller' elements
    % after 'Pivot' and sort the sublists.
    qsort([X || X <- Rest, Smaller(X,Pivot)], Smaller)
    ++ [Pivot] ++
    qsort([Y || Y <- Rest, not(Smaller(Y, Pivot))], Smaller).

Здесь выражение

[X || X <- Rest, Smaller(X,Pivot)]

похоже на выражение

[Front || Front <- Rest, Front < Pivot]

из предыдущего примера за тем исключением, что используется функция сравнения Smaller, определенная раньше через лямбда-выражение

fun(A,B) -> A < B end

См. также

Примеры проектов, использующих Erlang

  • Yaws (Yet Another Web Server) — веб-сервер, написанный на Erlang.
  • Ejabberd — свободный (GNU GPL), распределённый и устойчивый к отказам Jabber-сервер, написанный в основном на Erlang.
  • Nitrogen — каркас для создания веб-приложений на языке Erlang.
  • Chicago Boss — Ruby on Rails-подобный фреймворк с поддержкой Django templating language (DTL)[2], «горячей» заменой кода, встроенным SMTP-сервером и развитой системой тестирования[3]. Полностью использует возможности OTP.
  • Disco Project — реализация MapReduce, созданная компанией Nokia. Ядро MapReduce написано на языке Erlang, приложения для MapReduce можно писать на языке Python.
  • CouchDB — документо-ориентированная база данных с REST-интерфейсом.
  • RabbitMQ — Message Oriented Middleware платформа (реализация AMQP) на Erlang.
  • EADC — ADC сервер на Erlang.
  • Zotonic — CMS, написанная на Erlang.
  • Erlyvideo — мультипротокольный видеостриминговый сервер.[4]
  • Riak — распределённая NoSQL база данных, написанная по принципам, описанным в статье Amazon dynamo, на Erlang.

Примечания

Ссылки



Wikimedia Foundation. 2010.

Смотреть что такое "Erlang" в других словарях:

  • Erlang C — ist ein synonymer Ausdruck für ein Warteschlangenmodell, das vom dänischen Mathematiker Agner Krarup Erlang am Anfang des 20. Jahrhunderts entwickelt wurde, um die Wahrscheinlichkeit und die mittlere Dauer von Wartezeiten bei der… …   Deutsch Wikipedia

  • Erlang c — ist ein synonymer Ausdruck für ein Warteschlangenmodell, das vom dänischen Mathematiker Agner Krarup Erlang am Anfang des 20. Jahrhunderts entwickelt wurde, um die Wahrscheinlichkeit und die mittlere Dauer von Wartezeiten bei der… …   Deutsch Wikipedia

  • Erlang — bezeichnet: Agner Krarup Erlang (1878–1929), dänischer Mathematiker und Ingenieur eine Pseudomaßeinheit für die Verkehrsbelastung von Netzwerkleitungen, siehe Erlang (Einheit) ein Warteschlangenmodell, siehe Erlang C bzw. Erlang B eine… …   Deutsch Wikipedia

  • Erlang-B — (sometimes also written without the hyphen Erlang B) is a formula derived from the Erlang distribution to describe the probability of call loss on a group of circuits (in a circuit switched network, or equivalent). It is, for example, used in… …   Wikipedia

  • Erlang B — ist eine Formel, die sich von der Erlang Verteilung herleitet. Mit ihrer Hilfe kann man die Kapazitäten einer Telefonleitung ermitteln, die durchschnittlich für eine angenommene Anzahl an Gesprächen bei einer festgelegten… …   Deutsch Wikipedia

  • Erlang — may refer to: * Agner Krarup Erlang, a mathematician and engineer after whom several concepts are named ** Erlang unit, a unit to measure traffic in telecommunications or other domains ** Erlang distribution, a probability distribution describing …   Wikipedia

  • erlang — [ɛʀlɑ̃g] n. m. ÉTYM. 1973, Science et Vie, in la Clé des mots; nom d un savant danois. ❖ ♦ Techn. Unité servant à mesurer l intensité moyenne du trafic téléphonique …   Encyclopédie Universelle

  • Erlang — Para otros usos de este término, véase Erlang (desambiguación). Erlang es un lenguaje de programación concurrente y un sistema de ejecución que incluye una máquina virtual y bibliotecas. El subconjunto de programación secuencial de Erlang es un… …   Wikipedia Español

  • Erlang — 1 Original name in latin Erlang Name in other language Erlang, Erlangmiao, er lang State code CN Continent/City Asia/Chongqing longitude 33.83946 latitude 105.58832 altitude 1372 Population 0 Date 2012 01 18 2 Original name in latin Erlang Name… …   Cities with a population over 1000 database

  • erlang — (E)    a measure of telecommunications traffic density. The erlang is a dimensionless unit representing a traffic density of one call second per second (or one call hour per hour, etc.). The erlang is sometimes divided into 36 unit calls or 30… …   Dictionary of units of measurement

Книги

Другие книги по запросу «Erlang» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.