Выступление на первом GDG Краснодар

1. Основы функциональных языков
программирования на примере Erlang
Виктор TyVik Тыщенко

2. Парадигмы программирования
Императивная
CDC* pDC = this->GetDC();
CBrush* brush = new CBrush;
brush->CreateSolidBrush(RGB(0xFF,0xFF,0));
pDC->FillRect(&rect, &brush);
delete brush; //!!!!!!!!!!!!!!!!
Basic, C++, C#, Pascal, assembler, Java, Perl, Python, Ruby,
JavaScript, PHP, Go, Rust...

3. Парадигмы программирования
Декларативная
div { color: red; }
HTML, CSS, SQL, XSLT

4. Парадигмы программирования
Функциональная
picture = color red (circle 100)
Lisp, Clojure, Erlang, Scala, Haskell

5. Сравнение
Erlang
sort([Pivot|T]) →
sort([ X || X <- T, X < Pivot]) ++ [Pivot] ++ sort([ X || X <- T, X >= Pivot]);
sort([]) -> [].
Java
public class QuickSort {
public static List<Integer> sort(List<Integer> list) {
if (list.isEmpty()) {
return list;
}
Integer pivot = list.get(0);
List<Integer> listWithoutPivot = list.subList(1, list.size());
List<Integer> leftSide = new LinkedList<>();
for (Integer elem : listWithoutPivot) {
if (elem <= pivot) {
leftSide.add(elem);
}
}
List<Integer> rightSide = new LinkedList<>();
for (Integer elem : listWithoutPivot) {
if (elem > pivot) {
rightSide.add(elem);
}
}
List<Integer> result = new ArrayList<>();
result.addAll(sort(leftSide));
result.add(pivot);
result.addAll(sort(rightSide));
return result;
}
}

6. В чём весь смысл?!
● Нет состояния
● Нет переменных
● Нет побочных
эффектов
● Нет общего адресного
пространства
● Нет блокировок

7. Стоп, как это нет переменных?!
Eshell V5.10.4 (abort with ^G)
1> A = 5.
5
2> A = 3.
** exception error: no match of right hand side value 3

8. Многопоточность
public class Example {
private int value = 0;
public int getNextValue() {
return value++;
}
}

9. Многопоточность
public class Example {
private int value = 0;
private final Semaphore mutex = new Semaphore(1)
public int getNextValue() throws InterruptedException {
try {
mutex.acquire();
return value++;
} finally {
mutex.release();
}
}
}

10. Многопоточность
-module(counter).
-export([start/0, counter/1]).
counter(C) ->
receive
{get, Pid} -> Pid ! C
end,
counter(C + 1).
start() ->
NextNum = spawn(counter, counter, [0]),
NextNum ! {get, self()},
receive
X -> X
end.

11. Многопоточность

12. Многопоточность
erl
counter(C) ->
receive
{get, Pid} -> Pid ! C
end,
counter(C + 1).
start() ->
NextNum =
spawn(counter, counter, [0]),
NextNum ! {get, self()},
receive
X -> X
end.
spawn
pid
{get, self()}
C

13. Почему Erlang?
● Телеком (биллинг)
● Веб-сервер: YAWS, Cowboy/N2O
● Стриминг видео: erlyvideo
● API: WhatsApp, Facebook Chat, ejabberd
● БД: Riak, CouchDB
● Сайты: Github Pages, Zotonic CMS

14. Куда двигаться дальше?
● "Haskell по-человечески" (http://dshevchenko.biz/hs.html)
● Видеокурс по Erlang от Ю. Жлобы (https://www.youtube.com/user/yzh44yzh/videos)
● Статья на RSDN про Erlang (http://rsdn.ru/article/erlang/GettingStartedWithErlang.xml)
● Книга Дж. Армстронга (https://github.com/dyp2000/Russian-Armstrong-Erlang)
● Книги от Р. Душкина (http://roman-dushkin.narod.ru/)
● Подкаст от функциональщиков (http://eax.me/tag/podcast/)
● Статья про N2O (http://habrahabr.ru/post/220841/)

15. Спасибо за внимание!
Вопросы?