Публикации с меткой «erlang»

Николай прислал мне интересное письмо размышляя над которым родился вот такой вот пост.

Роль Erlang'а

Суровая реальность такова, что строить команду с расчетом на Erlang разработчиков не получится при всем желании, свободных людей на рынке практически нет, а те кто есть заняты в долгосрочных проектах. Есть шанс выдернуть тех, кто сидел программировал на чем-то обычном, параллельно изучая Erlang и вот он созрел на своих проектах и готов выпрыгнуть на новое место работы. Но это случайная величина.

Второй момент в том, что для Erlang в современном вебе не так много места. Создавать "еще один корпоративный сайт" можно на чем угодно. Необходимость в Erlang'е подходит тогда когда надо решать инфраструктурные задачи эффективным образом. А такие случаются, но редко и мало кто их учитывает при проектировании (людей-то нет). Скажем так, направление стартапов — это само по себе очень узкое направление.

Но природа знает как делать так, чтобы "все цветы цвели". В политологии применяется термин "Элиты", который в данном контексте можно было бы расширить до "Технологической элиты". Изучать какой-то новый предмет научного знания начинают не те кто идет самым легким путем. Приведу пример который произошел за время моей жизни в котором я принимал активное участие и имел возможность рефлексировать свой опыт. Python когда-то был таким же маргинальным языком программирования как сейчас Erlang. Когда я начинал делать первый проект в 2000 году, то Perl был язык программирования сайтов #1.

Создание сайтов еще не было такой массовой отраслью как сейчас, но ФИДОшные привычки общения быстро перенеслись в "mainstream" рассылки и форумы. Набегающие новички быстро подхватывали общую тональность и становилось понятно, что общаться по сути не с кем.

Другие правила были в Python сообществе. Во-первых оно было не такое большое, во-вторых пропитано духом англоязычной тусовки. В которой кажется у большей части пишущих людей было как минимум высшее образование и докторская степень. Люди которые всегда были умнее тебя, без учета личных качеств. Даже само просматривание переписки в рассылках учило чему-то новому. Модель поведения людей кардинально отличалась. Даже не хочется перечислять паттерны поведения, но они походили на слаженную работу ученых которые делятся своими открытиями и опытом.

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

Сейчас Python становится тем самый мэйнстримом. Если посмотреть Хабр, то видно, что статей о Django публикуется больше чем о PHP. И от этого становится и грустно и радостно одновременно. Радостно, потому что тропинка которую мы протаптывали теперь превращается в широкое шоссе вокруг которого создается инфраструктура. А грустно потому, что все чаще видно как очередной программист погнавшись за модным словом и, не чтя традиции Python сообщества, создает "еще один неработающий пагинатор". С другой стороны он хотя бы хочет делиться, что уже хорошо. Но я не научусь у этого человека ничему новому.

Вот теперь и начинается опять Erlang. Функциональные языки программирования долго ждали своего часа. Да, кружки людей которые изучают экзотические технологии были давно и будут тоже. Но сейчас образовался спрос на образ мышления который воспитывает ФП. И Erlang сообщество это то место в котором умные люди и у них есть чему поучиться. И я вижу как люди которых я уважал еще в Python рассылках теперь подписаны на Erlang в России. Вот такая вот миграция элит.

Будущее Erlang'а

Что же произойдет дальше? Кажется, что это самый интересный пункт писать о будущем. Но на самом деле это самая скучная часть.

Функциональный язык программирования не займет лидирующего места. Рынок Erlang'а увеличится, но все так же останется маленьким. Технологии для индусов (.NET) и людей не способных прочитать и понять научную документацию (PHP) будут так же занимать подавляющую долю заказов. Продукты на основе Erlang'а займут специализированную нишу (пишу в будущем времени только потому, что ниша увеличится, хотя равнозначно можно писать и в настоящем времени) и будут в ней конкурировать с технологиями на других языках. Проекты с расчетом именно на возможности языка будут появляться чуть чаще, но все равно очень редко.

Концепции которые применяются в ФП в случае необходимости будут заимствоваться в языках широкого назначения. Точнее это уже произошло (см C#, JavaScript, Python, etc).

Стоит ли учить Erlang? Да конечно. Поскольку язык будет использовать не так широко, то значит и специалистов будет найти сложнее. А значит тогда когда он действительно будет нужен проекты и отношение к сотруднику будет другого порядка. Шанс работать с людьми которые знают чего хотят повышается. Тусовка находясь в которой не падает самоуважение уже большой плюс.

Я некоторое время назад начал копать в сторону Clojure на Google App Engine, и в процессе размышлизмов о полиглотской природе JVM, возник вопрос, почему никто до сих пор не сделал реализацию Erlang-а на ней. Вопрос сник также как и возник, и я об этом перестал думать. Сегодня же в шаре пролетело сообщение, из которого следует, что кто-таки этим уже занимается и, более того, достиг кое-каких успехов. Рассуждать о достоинствах-недостатках рано, к тому же я не знаю пока как они сделали процессы там, но факт есть факт — можно будет всерьёз подумывать о mochiweb/yaws/etc-приложениях на GAE :).

Там, как я понял, все еще далеко от совершенства, что понятно, мало кому вообще надо это в серьёзных целях. Да и коммьюнити у эрланга не соизмеримо с жабским, питонячьим или пышским. Главное, чтоб не сдохло оно как многое уже сдохло невостребованное.

Лично я считаю Erlang одним из самых простых яызков программирования, а среди знакомых мне функциональных языков - самым простым. К тому же на Erlang благодаря его направленности на создание конкурентных приложений написано уже множество проектов, таких как Yaws, CouchDB, ejabberd, которые являются для него наилучшей рекламой.
Таким образом, Erlang - функциональный язык с простым и понятным синтаксисом, который нашёл свою нишу, и если вы интересуетесь созданием масштабируемых конкурентных систем - вам стоит выучить его. Однако из-за того, что Erlang - функциональный, его синтаксис и стиль понятен не всем - он слишком отличается от императивных языков(таких как С и подобные) и даже от Ruby/Python, которые включают в себя частицы функционального подхода.
Если Вы столкнулись с такой проблемой - обратите внимание на Reia - скриптовый Ruby/Python like язык для виртуальной машины BEAM(эта виртуальная машина используется также и в Erlang). Язык Reia совместим с Erlang и может использоваться для создания конкурентых приложений, однако используя при этом скриптовый синтаксис. Вот простейший пример:

module Foo
    def bar
        receive
        when msg
            ["Received ",msg].join().puts()
            bar()
pid = Process.spawn(fun {Foo.bar()})
pid ! "Hello"
pid ! "World"

Результат:

Received Hello
Received World

В язык заложено очень много возможностей(как по мне - слишком много :) ): отсылка сообщений процессам и объектам, встроенные регулярные выражения, pattern matching, асинхронные вызовы функции, лямбда функции, а также многое-многое другое. Многое из этого не реализовано(например, циклы), но часть функциональности уже существует и работает, как можно увидеть из примера.

Выводы

1. Reia - многообещающий ЯП, которому, однако, не хватает разработчиков. Возможно, если реализации будет уделяться больше времени, то этот ЯП станет мостиком, по которому толпы приверженцев императивного подхода ринутся в страну Erlang
2. Как по мне, синтаксис Reia перегружен. Этот вывод только подкрепляет моё убеждение, что Erlang - отлично спроектирован и очень элегантен

Последние несколько дней понемногу читаю книженцию по ерлангу (давно собирался, но начал вот только-только). Очень рад, что я знаю и пользуюсь Питоном, а не каким-нибудь Перлом или C# - намного легче воспринимается передача функции в функцию, сами высокоуровневые функции - все эти filter, map.

Однако одна штука заставила меня попотеть - в книге lists:filter (кстати, интересно, что в ерланге не надо, как в питоне, очевидно импортировать модули - просто вызываешь, и всё) всегда вызывался вместе с fun (анонимной функцией, та же lambda, только покруче ;). Т.е.

lists:filter(fun(X) -> X rem 2 == 0, lists:seq(1, 10)).

И когда я пытался кинуть туда свою функцию, оно мне говорило invalid expression. : Такой вот код никак не работал:

is_even(X) -> X rem 2 == 0.
lists:filter(is_even, lists:seq(1, 10)).

И поиски мануала, как всегда в первый раз, приводили к тому, чему я знаю. :( Когда что-то знаешь - найти легко, а когда не понимаешь сути проблемы - начинается подбор кода к гуглю, чтоб выдал необходимое. :) В конце-концов, разобрался:

lists:filter(fun is_even/1, lists:seq(1, 10)).

Вообще вот эта штука - /1 (arity, как её в ерланге называют, или просто количество параметров) - довольно прикольная вещь. В питоне это всё реализуется опциональными параметрами, а в ерланге - просто разные функции для разного количества параметров (практически перегрузка из ООП). В некоторых случаях это будет давать несколько больше кода, в некоторых - меньше, но в сочетании с pattern matching'ом это всё пока для меня выглядит феноменально. :)

P.S. Самое смешное, что у меня пока не получается создавать функции в интерпретаторе. Только написав отдельные модули. :(

P.P.S. Немного не хватает фич ipython'а и самодокументируемости.

P.P.P.S. Решение первых двух задач из проекта Эйлера помогает запомнить основные приёмы и синтаксис очень порядочно. :)

Последние несколько дней понемногу читаю книженцию по ерлангу (давно собирался, но начал вот только-только). Очень рад, что я знаю и пользуюсь Питоном, а не каким-нибудь Перлом или C# - намного легче воспринимается передача функции в функцию, сами высокоуровневые функции - все эти filter, map.

Однако одна штука заставила меня попотеть - в книге lists:filter (кстати, интересно, что в ерланге не надо, как в питоне, очевидно импортировать модули - просто вызываешь, и всё) всегда вызывался вместе с fun (анонимной функцией, та же lambda, только покруче ;). Т.е.

lists:filter(fun(X) -> X rem 2 == 0, lists:seq(1, 10)).

И когда я пытался кинуть туда свою функцию, оно мне говорило invalid expression. : Такой вот код никак не работал:

is_even(X) -> X rem 2 == 0.
lists:filter(is_even, lists:seq(1, 10)).

И поиски мануала, как всегда в первый раз, приводили к тому, чему я знаю. :( Когда что-то знаешь - найти легко, а когда не понимаешь сути проблемы - начинается подбор кода к гуглю, чтоб выдал необходимое. :) В конце-концов, разобрался:

lists:filter(fun is_even/1, lists:seq(1, 10)).

Вообще вот эта штука - /1 (arity, как её в ерланге называют, или просто количество параметров) - довольно прикольная вещь. В питоне это всё реализуется опциональными параметрами, а в ерланге - просто разные функции для разного количества параметров (практически перегрузка из ООП). В некоторых случаях это будет давать несколько больше кода, в некоторых - меньше, но в сочетании с pattern matching'ом это всё пока для меня выглядит феноменально. :)

P.S. Самое смешное, что у меня пока не получается создавать функции в интерпретаторе. Только написав отдельные модули. :(

P.P.S. Немного не хватает фич ipython'а и самодокументируемости.

P.P.P.S. Решение первых двух задач из проекта Эйлера помогает запомнить основные приёмы и синтаксис очень порядочно. :)