Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Elixir - functional, concurrent, distributed programming for the rest of us

Elixir - functional, concurrent, distributed programming for the rest of us

Andrea Leopardi

October 26, 2018
Tweet

More Decks by Andrea Leopardi

Other Decks in Programming

Transcript

  1. functional, concurrent, distributed
    programming for the rest of us
    ELIXIR

    View Slide

  2. @whatyouhide

    View Slide

  3. View Slide

  4. View Slide

  5. View Slide

  6. View Slide

  7. functional, concurrent, distributed
    programming for the rest of us
    ELIXIR

    View Slide

  8. LET'S BUILD A
    LANGUAGE

    View Slide

  9. Language for
    modern systems

    View Slide

  10. View Slide

  11. concurrent
    distributed
    fault-tolerant
    extensible

    View Slide

  12. don't give to devs,
    enable devs

    View Slide

  13. VM

    View Slide

  14. NO TYPE
    SYSTEM

    View Slide

  15. CONCURRENCY

    View Slide

  16. threads are heavy

    View Slide

  17. schedulers
    VM processes

    View Slide

  18. memory
    memory

    View Slide

  19. IMMUTABLE
    DATA

    View Slide

  20. MESSAGE PASSING

    View Slide

  21. send(pid, message)
    receive do
    ...
    end
    +

    View Slide

  22. View Slide

  23. pattern
    matching

    View Slide

  24. {1, _} = some_tuple

    View Slide

  25. receive do
    {1, _} -> ...
    {_, _} -> ...
    end

    View Slide

  26. View Slide

  27. case expression do
    pattern1 -> ...
    pattern2 -> ...
    _ -> ...
    end

    View Slide

  28. ISOLATED MEMORY
    MESSAGE PASSING
    +

    View Slide

  29. View Slide

  30. def loop(state) do
    receive do
    new_state -> loop(new_state)
    end
    end

    View Slide

  31. DISTRIBUTION

    View Slide

  32. node 1 node 2

    View Slide

  33. FAULT
    TOLERANCE

    View Slide

  34. acceptor

    View Slide

  35. acceptor

    View Slide

  36. View Slide

  37. View Slide

  38. link

    View Slide

  39. link

    View Slide

  40. link

    View Slide

  41. link
    trap crash

    View Slide

  42. link
    trap crash
    trap crash

    View Slide

  43. View Slide

  44. View Slide

  45. SUPERVISORS

    View Slide

  46. View Slide

  47. View Slide

  48. View Slide

  49. View Slide

  50. SYNTAX

    View Slide

  51. github.com/josevalim/lego-lang

    View Slide

  52. def(double_sum(a, b), do: (
    =(c, +(a, b))
    *(c, 2)
    ))

    View Slide

  53. def(double_sum(a, b), do: (
    =(c, +(a, b))
    *(c, 2)
    ))

    View Slide

  54. def(double_sum(a, b), do: (
    =(c, +(a, b))
    *(c, 2)
    ))

    View Slide

  55. def(double_sum(a, b), do: (
    =(c, +(a, b))
    *(c, 2)
    ))

    View Slide

  56. if(>(a, b), do: a, else: b)

    View Slide

  57. macros functions
    +

    View Slide

  58. less parens?

    View Slide

  59. def(double_sum(a, b), do: (
    =(c, +(a, b))
    *(c, 2)
    ))

    View Slide

  60. def(double_sum(a, b), do: (
    c = a + b
    c * 2
    ))

    View Slide

  61. def double_sum(a, b), do: (
    c = a + b
    c * 2
    )

    View Slide

  62. def double_sum(a, b) do
    c = a + b
    c * 2
    end

    View Slide

  63. if a > b do
    a
    else
    b
    end

    View Slide

  64. literals and containers

    View Slide

  65. [1, 2, 3]
    [](1, 2, 3)

    View Slide

  66. macros functions
    +

    View Slide

  67. def add(a, b), do: a + b

    View Slide

  68. defmacro def(call, keywords)
    add(a, b)
    do: (a + b)

    View Slide

  69. case expression do
    true -> branch1
    else -> branch2
    end

    View Slide

  70. defmacro if(condition, do: branch1, else: branch2) do
    quote do
    case unquote(condition) do
    true -> unquote(branch1)
    false -> unquote(branch2)
    end
    end
    end

    View Slide

  71. CONLCLUSION

    View Slide

  72. PLOT TWIST...
    we built
    ELIXIR

    View Slide

  73. concurrent
    distrubuted
    fault-tolerant
    extensible

    View Slide

  74. elixir-lang.org
    @whatyouhide

    View Slide