Erlang - Revision history

Cblp.su: их больше

2010-10-23T07:07:11Z

их больше

Leksey: Почистил, потому что копивио из википедии. Оставил только преамбулу.

2010-10-22T20:01:28Z

Почистил, потому что копивио из википедии. Оставил только преамбулу.

Vindicar at 10:17, 8 July 2009

2009-07-08T10:17:37Z

Juriks: категории

2007-11-13T15:29:29Z

категории

Juriks: просто негодяй какой-то

2007-11-13T15:23:38Z

просто негодяй какой-то

212.90.98.46 at 12:01, 13 November 2007

2007-11-13T12:01:35Z

212.90.98.46 at 11:58, 13 November 2007

2007-11-13T11:58:29Z

212.90.98.46 at 11:56, 13 November 2007

2007-11-13T11:56:51Z

212.90.98.46: 53

2007-11-13T11:54:00Z

New page

{{Карточка языка программирования
|name = Erlang
|logo =
|semantics = [[Мультипарадигменный язык программирования|мультипарадигменный]]: [[конкурентное программирование|конкурентное]], [[Функциональное программирование|функциональное]] программирование
|year = [[1987]]
|designer = [[Ericsson]]
|typing = [[Строгая типизация|cтрогая]], [[Динамическая типизация|динамическая]]
|implementations =Erlang
|dialects =
|influenced =
}}
'''Erlang''' (Эрла́нг) — [[функциональный язык программирования]], позволяющий писать программы для разного рода распределённых систем. Разработан и поддерживается компанией Ericsson. Язык включает в себя средства порождения параллельных процессов и их коммуникации с помощью посылки асинхронных сообщений. Программа транслируется в [[байт-код]], исполняемый виртуальной машиной, что обеспечивает переносимость.

Кратко формулу языка можно выразить как Erlang=функциональный язык+процессы.

Язык динамический. Синтаксис наследован от [[Prolog]]. Компактен, содержит минимум конструкций, лёгок для освоения, но не примитивен.

К услугам программиста — модули, полиморфные функции, сопоставление с образцом, анонимные функции, условные конструкции, структуры, обработка исключений, оптимизация хвостовой рекурсии. В общем базовый арсенал современных функциональных языков.

Функциональная парадигма (отсутствие присваиваний) позволяет Erlang избежать таких традиционных для императивных языков проблем распределенных приложений, как необходимость синхронизации, опасность возникновения [[Взаимная блокировка|тупиков]] и [[Состояние гонки|гонок]].

Главное в Erlang — его модель легковесных процессов. Перефразируя для Erlang слоган текущего дня "Everything is an object" («Всё является объектом»), можно сказать "Everything is a process" («Всё является процессом»).

Процессы дёшевы, создание процесса занимает не больше ресурсов, чем вызов функции. Единственным способом взаимодействия процессов является асинхронный обмен сообщениями.

При желании процесс может установить связь (link) с другими процессами и по выбору или получить сообщение о их смерти с указанием причины или разделить их участь.

Процесс имеет свой «почтовый ящик», откуда может выборочно читать сообщения, в чем очень помогает сопоставление по шаблону, код проверки «ящика» чем-то похож на программу на awk, нужное выгребается и обрабатывается, остальное остаётся или выбрасывается.

На разработку программ накладывают сильный отпечаток два момента.

* Язык стимулирует к созданию большого количества конкурентных процессов.
* Процессы жёстко изолированы и не имеют общего состояния.

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

Мощность связки «Процессы+сообщения» не меньше, чем «Объекты+Интерфейсы+Наследование», но зачастую приводит к более компактным и понятным решениям. Устранение конкуренции так же просто, как и создание. Отсутствие необходимости блокировки доступа к состоянию процесса для синхронизации их взаимодействия сильно облегчает жизнь. Для конкурентного ресурса обычно просто создаётся процесс-монитор, через который осуществляется взаимодействие с ресурсом.

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

Учитывая, что обычно в 90 % подобных ситуаций ничего более путного, чем вывести сообщение об ошибке и попытаться жить с этой болью дальше, не представляется возможным, отсутствие в коде многочисленных проверок не так уж непривлекательно.

=== Распределённое взаимодействие ===
Запущенный экземпляр эмулятора Erlang называется узлом (node). Узел имеет имя и «знает» о существовании других узлов на данной машине или в сети.

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

== Ссылки ==
* [http://www.erlang.org/ http://www.erlang.org/] — open-source реализация
* [http://www.erlang-projects.org/ http://www.erlang-projects.org/] — проекты, использующие Erlang в качестве основного языка разработки, REPOS (репозитарий проектов на Эрланге — коллекция библиотек, приложений и утилит)
* [http://www.trapexit.org/ http://www.trapexit.org/] — форум, вики, решения, учебные пособия, справочные материалы
* [http://erlang.dmitriid.com/ Erlang по-русски] — проект по переводу документации на русский язык

{{Языки_программирования}}

[http://rsdn.ru/article/erlang/GettingStartedWithErlang.xml] - Статья: начала работы с Erlang

[[Категория:Языки программирования]]

[[ca:Erlang]]
[[cs:Erlang]]
[[da:Erlang (programmeringssprog)]]
[[de:Erlang (Programmiersprache)]]
[[en:Erlang (programming language)]]
[[es:Erlang]]
[[fr:Erlang (langage)]]
[[it:Erlang (linguaggio)]]
[[ja:Erlang]]
[[ko:얼랑 (프로그래밍 언어)]]
[[nl:Erlang (programmeertaal)]]
[[pl:Erlang (język programowania)]]
[[sv:Erlang (programspråk)]]
[[th:ภาษาเออร์แลง]]
[[uk:Erlang]]

@@ Line 7: / Line 7: @@
 Запущенный экземпляр эмулятора Erlang называется узлом (node). Узел имеет имя и «знает» о существовании других узлов на данной машине или в сети.
-[[ejabberd]] — [[server|сервер]] Jabber на Erlang.
+== См. также ==
 [[Category:Языки программирования]]
 [[Category:Framework]]

@@ Line 45: / Line 45: @@
 * [http://erlang.dmitriid.com/ Erlang по-русски] — проект по переводу документации на русский язык
-[[Category:Programming language]]
+[[Category:Языки программирования]]
 [[Category:Framework]]

← Older revision		Revision as of 15:29, 13 November 2007
Line 45:		Line 45:
	* [http://erlang.dmitriid.com/ Erlang по-русски] — проект по переводу документации на русский язык		* [http://erlang.dmitriid.com/ Erlang по-русски] — проект по переводу документации на русский язык

−	[[Category:~~Language~~]]	+	[[Category:Programming language]]
		+	[[Category:Framework]]

← Older revision		Revision as of 12:01, 13 November 2007
Line 40:		Line 40:
	* [http://www.trapexit.org/ http://www.trapexit.org/] — форум, вики, решения, учебные пособия, справочные материалы		* [http://www.trapexit.org/ http://www.trapexit.org/] — форум, вики, решения, учебные пособия, справочные материалы
	* [http://erlang.dmitriid.com/ Erlang по-русски] — проект по переводу документации на русский язык		* [http://erlang.dmitriid.com/ Erlang по-русски] — проект по переводу документации на русский язык
−
−	~~{{Языки_программирования}}~~
−
−	~~[http://rsdn.ru/article/erlang/GettingStartedWithErlang.xml] - Статья: начала работы с Erlang~~

← Older revision		Revision as of 11:58, 13 November 2007
Line 44:		Line 44:

	[http://rsdn.ru/article/erlang/GettingStartedWithErlang.xml] - Статья: начала работы с Erlang		[http://rsdn.ru/article/erlang/GettingStartedWithErlang.xml] - Статья: начала работы с Erlang
−
−	~~[[Категория:Языки программирования]]~~
−
−	~~[[ca:Erlang]]~~
−	~~[[cs:Erlang]]~~
−	~~[[da:Erlang (programmeringssprog)]]~~
−	~~[[de:Erlang (Programmiersprache)]]~~
−	~~[[en:Erlang (programming language)]]~~
−	~~[[es:Erlang]]~~
−	~~[[fr:Erlang (langage)]]~~
−	~~[[it:Erlang (linguaggio)]]~~
−	~~[[ja:Erlang]]~~
−	~~[[ko:얼랑 (프로그래밍 언어)]]~~
−	~~[[nl:Erlang (programmeertaal)]]~~
−	~~[[pl:Erlang (język programowania)]]~~
−	~~[[sv:Erlang (programspråk)]]~~
−	~~[[th:ภาษาเออร์แลง]]~~
−	~~[[uk:Erlang]]~~

@@ Line 1: / Line 1: @@
-'''Erlang''' (Эрла́нг) — [[w:функциональный язык программирования|функциональный язык программирования]], позволяющий писать программы для разного рода распределённых систем. Разработан и поддерживается компанией [[w:Ericsson|Ericsson]]. Язык включает в себя средства порождения параллельных процессов и их коммуникации с помощью посылки асинхронных сообщений. Программа транслируется в [[w:байт-код|байт-код]], исполняемый виртуальной машиной, что обеспечивает переносимость.
+{{Interwiki
+| ruwiki = Erlang
-Кратко формулу языка можно выразить как Erlang=функциональный язык+процессы.
+| enwiki =
+| jworld =
-Язык динамический. Синтаксис наследован от [[w:Prolog|Prolog]]. Компактен, содержит минимум конструкций, лёгок для освоения, но не примитивен.
+}}
 '''Erlang''' (Эрла́нг) — [[w:функциональный язык программирования|функциональный язык программирования]], позволяющий писать программы для разного рода распределённых систем. Разработан и поддерживается компанией [[w:Ericsson|Ericsson]]. Программа транслируется в [[w:байт-код|байт-код]], исполняемый виртуальной машиной, что обеспечивает переносимость. Синтаксис наследован от [[w:Prolog|Prolog]].
-К услугам программиста — модули, полиморфные функции, сопоставление с образцом, анонимные функции, условные конструкции, структуры, обработка исключений, оптимизация хвостовой рекурсии. В общем базовый арсенал современных функциональных языков.
-−
-Функциональная парадигма (отсутствие присваиваний) позволяет Erlang избежать таких традиционных для императивных языков проблем распределенных приложений, как необходимость синхронизации, опасность возникновения [[w:Взаимная блокировка|тупиков]] и [[w:Состояние гонки|гонок]].
-−
-Главное в Erlang — его модель легковесных процессов. Перефразируя для Erlang слоган текущего дня "Everything is an object" («Всё является объектом»), можно сказать "Everything is a process" («Всё является процессом»).
-−
-Процессы дёшевы, создание процесса занимает не больше ресурсов, чем вызов функции. Единственным способом взаимодействия процессов является асинхронный обмен сообщениями.
-−
-При желании процесс может установить связь (link) с другими процессами и по выбору или получить сообщение о их смерти с указанием причины или разделить их участь.
-−
-Процесс имеет свой «почтовый ящик», откуда может выборочно читать сообщения, в чем очень помогает сопоставление по шаблону, код проверки «ящика» чем-то похож на программу на [[w:awk|awk]], нужное выгребается и обрабатывается, остальное остаётся или выбрасывается.
-−
-На разработку программ накладывают сильный отпечаток два момента.
-−
-* Язык стимулирует к созданию большого количества конкурентных процессов.
-* Процессы жёстко изолированы и не имеют общего состояния.
-−
-Процесс проектирования заключается в итеративном разбиении системы на иерархии конкурентно взаимодействующих подсистем, пока составляющие не станут достаточно просты для реализации.
-−
-Мощность связки «Процессы+сообщения» не меньше, чем «Объекты+Интерфейсы+Наследование», но зачастую приводит к более компактным и понятным решениям. Устранение конкуренции так же просто, как и создание. Отсутствие необходимости блокировки доступа к состоянию процесса для синхронизации их взаимодействия сильно облегчает жизнь. Для конкурентного ресурса обычно просто создаётся процесс-монитор, через который осуществляется взаимодействие с ресурсом.
-−
-Второй момент выражается в формуле «let it crash» («пусть процесс упадет»). Вместо перехвата ошибок и попытки продолжения работы часть программы, содержащая рискованный код, выделяется в отдельный процесс-камикадзе, этот процесс делает все возможное, чтобы система убила его в случае возникновения ошибки, а процесс-родитель только получает сообщения о смерти таких незадачливых потомков и делает выводы.
-−
-Учитывая, что обычно в 90% подобных ситуаций ничего более путного, чем вывести сообщение об ошибке и попытаться жить с этой болью дальше, не представляется возможным, отсутствие в коде многочисленных проверок не так уж непривлекательно.
-−
-=== Распределённое взаимодействие ===
 Запущенный экземпляр эмулятора Erlang называется узлом (node). Узел имеет имя и «знает» о существовании других узлов на данной машине или в сети.
-Создание и взаимодействие процессов разных узлов не отличается от взаимодействия процессов внутри узла. Для создания процесса на другом узле процессу достаточно знать его имя и, без особых на то оснований, он может не интересоваться физическим расположением взаимодействующего с ним процесса.
+[[ejabberd]] — [[server|сервер]] Jabber на Erlang.
-−
-== См. также ==
-* [[ejabberd]] — [[server|сервер]] Jabber на Erlang
-* [[:Category:Erlang|Другие программы на Erlang]]
-−
-== Ссылки ==
-* [http://www.erlang.org/ http://www.erlang.org/] — open-source реализация
-* [http://www.erlang-projects.org/ http://www.erlang-projects.org/] — проекты, использующие Erlang в качестве основного языка разработки, REPOS (репозитарий проектов на Эрланге — коллекция библиотек, приложений и утилит)
-* [http://www.trapexit.org/ http://www.trapexit.org/] — форум, вики, решения, учебные пособия, справочные материалы
-* [http://erlang.dmitriid.com/ Erlang по-русски] — проект по переводу документации на русский язык
 [[Category:Языки программирования]]
 [[Category:Framework]]

← Older revision		Revision as of 11:56, 13 November 2007
Line 1:		Line 1:
−	~~{{Карточка языка программирования~~
−	~~\|name = Erlang~~
−	~~\|logo =~~
−	\|semantics = [[Мультипарадигменный язык программирования\|мультипарадигменный]]: [[конкурентное программирование\|конкурентное]], [[Функциональное программирование\|функциональное]] программирование
−	~~\|year = [[1987]]~~
−	~~\|designer = [[Ericsson]]~~
−	~~\|typing = [[Строгая типизация\|cтрогая]], [[Динамическая типизация\|динамическая]]~~
−	~~\|implementations =Erlang~~
−	~~\|dialects =~~
−	~~\|influenced =~~
−	}}
	'''Erlang''' (Эрла́нг) — [[функциональный язык программирования]], позволяющий писать программы для разного рода распределённых систем. Разработан и поддерживается компанией Ericsson. Язык включает в себя средства порождения параллельных процессов и их коммуникации с помощью посылки асинхронных сообщений. Программа транслируется в [[байт-код]], исполняемый виртуальной машиной, что обеспечивает переносимость.		'''Erlang''' (Эрла́нг) — [[функциональный язык программирования]], позволяющий писать программы для разного рода распределённых систем. Разработан и поддерживается компанией Ericsson. Язык включает в себя средства порождения параллельных процессов и их коммуникации с помощью посылки асинхронных сообщений. Программа транслируется в [[байт-код]], исполняемый виртуальной машиной, что обеспечивает переносимость.