The document discusses lambda calculus, a formal system for mathematical logic that expresses computation using variable binding and substitution. It was introduced in the 1930s by mathematician Alonzo Church as a way to investigate the foundations of mathematics. The document then discusses how lambda calculus concepts like first-class and higher-order functions, purity, and immutability influence functional programming (FP). It also discusses how Elixir, which is influenced by FP and the Erlang VM, provides concurrency, fault tolerance, and distribution capabilities useful for telecom and other applications.

1. KEEP
AND
ASYNC
AWAIT
λ
CALM

2. Getting Started
eduardonunesp@gmail.com
Elixir |> SC, 21 Jun 2016
elixir

3. Why FP ?
Erlang
OTP
Supervisor
Applications
Elixir / Mix
Elixir Demo

4. Lambda calculus (also written as λ-calculus) is a formal
system in mathematical logic for expressing computation
based on function abstraction and application using variable
binding and substitution. It is a universal model of
computation that can be used to simulate any single-taped
Turing machine and was first introduced by mathematician
Alonzo Church in the 1930s as part of an investigation into
the foundations of mathematics.
https://en.wikipedia.org/wiki/Lambda_calculus

5. Lambda Calculus
First-class
Higher-order functions
Pure functions
Immutability
FP

6. Concurrency
Fault Tolerance
Distribution
High Availability

7. Telecom
Switch
Phone A
Phone B
Telecom
Switch
ISDN R2
Telephony Network

8. Data
Switch
Device A
Device B
Data
Switch
HTTP XMPP
Internet

9. OTP
Processes
Actor / Mailbox
Supervisor
Supervision tree
Applications

10. myapp@mydomain
DB
Mail
Ext.
API
Stats
Non - Erlang / OTP

11. node1@mydomain
DB
Mail
Ext.
API
Stats
Erlang / OTP

12. node1@mydomain
node3@mydomain
node2@mydomain
node4@mydomain

13. node1@mydomain
Supervisor
DB Mail
Ext.
API
Stats
Sup.

14. node1@mydomain
node3@mydomain
node2@mydomain
node4@mydomain

15. Applications
HEX.PM

18. Metaprogramming
Polymorphism
Friendlier Syntax
Better Build Tools
Erlang fully compatible

19. MIX
Build tool
Task extensible
Package management (HEX)
Provides environments

20. Your first sip of
elixir

21. THANK YOU
The Alchemist in Search of the
Philosopher's Stone, by Joseph
Wright, 1771
eduardonunesp@gmail.com
Elixir |> SC, 21 Jun 2016
http://learnyousomeerlang.com
http://elixir-lang.org
https://www.learnelixir.tv
http://confreaks.tv/