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

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