Intro to Elixir
0 likes164 views
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.
Intro to Elixir
- 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
- 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
- 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/