Erlang is Awesome

Presenting Erlang at HumanTalks in Montpellier.

Transcript

1. Erlang is Awesome Anthony Eden @aeden DNSimple Tuesday, January 8, 13
2. Why is Erlang awesome? Tuesday, January 8, 13
3. Purely functional Tuesday, January 8, 13
4. -module(example1). -export([sum/2]). sum(A, B) -> A + B. $ erl Erlang R15B (erts-5.9) Eshell V5.9 (abort with ^G) 1> c(example1). {ok,example1} 2>example1:sum(10, 20). 30 Tuesday, January 8, 13 Concise Functions can be stored, passed around and called later Functions can construct other functions (higher order functions)
5. Data is Immutable Tuesday, January 8, 13
6. 1> X = 10. 10 2> X = 20. ** exception error: no match of right hand side value 20 3> 10 = X. 10 Tuesday, January 8, 13 Built for concurrency Easier to reason about Easier to debug
7. Powerful Pattern Matching Tuesday, January 8, 13
8. -module(example2). -export([sum/1]). sum(Values) -> sum(Values, 0). sum([], Total) -> Total; sum([Value|Rest], Total) -> sum(Rest, Total + Value). 1> c(example2). {ok,example2} 2> example2:sum([10, 20, 30, 40, 50, 100]). 250 Tuesday, January 8, 13 Pattern matching through polymorphic functions or case statements Not shown, but functions and cases also support guard conditions Pattern matches shape of arguments
9. Actor-based Concurrency Tuesday, January 8, 13
10. Concurrency Tuesday, January 8, 13
11. -module(example3). -export([babble/1]). count(N) -> timer:sleep(10), io:format("The number is ~p~n", [N]). babble(NumberOfTimes) -> [spawn(fun() -> count(N) end) || N <- lists:seq(1, NumberOfTimes)]. 1> c(example3). {ok,example3} 2> example3:babble(100). [<0.38.0>,<0.39.0>,<0.40.0>,<0.41.0>,<0.42.0>,<0.43.0>, <0.44.0>,<0.45.0>,<0.46.0>,<0.47.0>,<0.48.0>,<0.49.0>, <0.62.0>,<0.63.0>,<0.64.0>,<0.65.0>,<0.66.0>|...] The number is 4 The number is 3 The number is 2 The number is 1 The number is 56 The number is 61 The number is 55 Tuesday, January 8, 13
12. Messaging Tuesday, January 8, 13
13. 1> c(example4). {ok,example4} 2> Adder = spawn(example4, adder, []). <0.38.0> 3> Adder ! {self(), add, 10, 30}. {<0.31.0>,add,10,30} 4> flush(). Shell got 40 ok -module(example4). -export([adder/0]). adder() -> receive {From, add, A, B} -> From ! sum(A, B); {From, _} -> From ! error end. sum(A, B) -> A + B. Tuesday, January 8, 13 Processes have a “mailbox” Messages are sent to a process with the exclamation point
14. OTP Tuesday, January 8, 13 A set of libraries and guidelines for building applications.
15. Spawn -> Init -> Receive -> Exit Tuesday, January 8, 13
16. Behaviors Tuesday, January 8, 13 Common behaviors expressed as generic implementations
17. -module(example5). -behavior(gen_server). % Gen server hooks -export([init/1, handle_call/3, handle_cast/2]). -export([handle_info/2, terminate/2, code_change/3]). -record(state, {}). % Gen server callbacks init([]) -> {ok, #state{}}. handle_call(Message, From, State) -> io:format("Received call from ~p: ~p~n", [From, Message]), {reply, "Thanks for playing", State}. handle_cast(Message, State) -> timer:sleep(10), io:format("Received cast: ~p~n", [Message]), {noreply, State}. handle_info(_Message, State) -> {noreply, State}. terminate(_Reason, _State) -> ok. code_change(_PreviousVersion, State, _Extra) -> {ok, State}. Tuesday, January 8, 13
18. 1> c(example5). {ok,example5} 2> gen_server:start_link({local, example5}, example5, [], []). {ok,<0.38.0>} 3> gen_server:call(example5, "Hello, there"). Received call from {<0.31.0>,#Ref<0.0.0.77>}: "Hello, there" "Thanks for playing" 4> gen_server:cast(example5, {foo, 5}). ok Received cast: {foo,5} Tuesday, January 8, 13
19. -module(example6). -behavior(gen_server). -export([start_link/0, sum/1, sum/2, async_sum/2]). % Gen server hooks -export([init/1, handle_call/3, handle_cast/2]). -export([handle_info/2, terminate/2, code_change/3]). -record(state, {}). % Public API start_link() -> gen_server:start_link({local, ?MODULE}, ?MODULE, [], []). sum(A, B) -> gen_server:call(?MODULE, {sum, A, B}). sum(Values) -> gen_server:call(?MODULE, {sum, Values}). async_sum(A, B) -> gen_server:cast(?MODULE, {sum, A, B}). % Gen server callbacks init([]) -> {ok, #state{}}. handle_call({sum, A, B}, _, State) -> {reply, sum_list([A, B]), State}; handle_call({sum, Values}, _, State) -> {reply, sum_list(Values), State}. handle_cast({sum, A, B}, State) -> io:format("Sum: ~p~n", [sum_list([A, B])]), {noreply, State}. handle_info(_Message, State) -> {noreply, State}. terminate(_Reason, _State) -> ok. code_change(_PreviousVersion, State, _Extra) -> {ok, State}. % Internal functions sum_list(Values) -> lists:foldl(fun(X, Sum) -> X + Sum end, 0, Values). Tuesday, January 8, 13
20. -module(example6). -behavior(gen_server). -export([start_link/0, sum/1, sum/2, async_sum/2]). % Gen server hooks -export([init/1, handle_call/3, handle_cast/2]). -export([handle_info/2, terminate/2, code_change/3]). -record(state, {}). Tuesday, January 8, 13
21. % Public API start_link() -> gen_server:start_link({local, ?MODULE}, ?MODULE, [], []). sum(A, B) -> gen_server:call(?MODULE, {sum, A, B}). sum(Values) -> gen_server:call(?MODULE, {sum, Values}). async_sum(A, B) -> gen_server:cast(?MODULE, {sum, A, B}). Tuesday, January 8, 13
22. % Gen server callbacks init([]) -> {ok, #state{}}. handle_call({sum, A, B}, _, State) -> {reply, sum_list([A, B]), State}; handle_call({sum, Values}, _, State) -> {reply, sum_list(Values), State}. handle_cast({sum, A, B}, State) -> io:format("Sum: ~p~n", [sum_list([A, B])]), {noreply, State}. handle_info(_Message, State) -> {noreply, State}. terminate(_Reason, _State) -> ok. code_change(_PreviousVersion, State, _Extra) -> {ok, State}. Tuesday, January 8, 13
23. % Internal functions sum_list(Values) -> lists:foldl(fun(X, Sum) -> X + Sum end, 0, Values). Tuesday, January 8, 13 Other behaviors include gen_event, gen_fsm and supervisor New behaviors can be defined (behaviour is generic part, callback is specific part)
24. Supervisors Tuesday, January 8, 13 Manages OTP processes Can define conditions for restart Supervision trees are common constructs in OTP applications
25. Applications Tuesday, January 8, 13 Reusable component that implements some functionality Can be started and stopped as a unit
26. Want to Learn More? http://learnyousomeerlang.com http://erlang.org Come to TakeOffConf in Lille next week! Tuesday, January 8, 13 Error handling, distributed systems, ETS, DETS, mnesia and more Many libraries on github
27. Erlang is Awesome! Anthony Eden @aeden DNSimple https://gist.github.com/4483378 https://speakerdeck.com/aeden/erlang-is-awesome Tuesday, January 8, 13