Future of Programming Languages

Transcript

1. The Future of Programming Languages Alcides Fonseca Também lança búzios e cura mau olhado. Monday, November 14, 11
2. Disclaimer These opinions are my own and may not reflect future events. Monday, November 14, 11
3. Roadmap Monday, November 14, 11
4. Roadmap Why is language X successful? Monday, November 14, 11
5. Roadmap Why is language X successful? Systems Monday, November 14, 11
6. Roadmap Why is language X successful? Systems Java.Next Monday, November 14, 11
7. Roadmap Why is language X successful? Systems Java.Next Browser Monday, November 14, 11
8. Roadmap Why is language X successful? Systems Java.Next Browser Parallel Monday, November 14, 11
9. Roadmap Why is language X successful? Systems Java.Next Browser Parallel DSL Monday, November 14, 11
10. Roadmap Why is language X successful? Systems Java.Next Browser Parallel DSL Esoteric Monday, November 14, 11
11. Why is language X successful? Monday, November 14, 11
12. Why is language X successful? • Portability (C, Java, Python, ...) Monday, November 14, 11
13. Why is language X successful? • Portability (C, Java, Python, ...) • Abstraction and Simplicity (Java, Python) Monday, November 14, 11
14. Why is language X successful? • Portability (C, Java, Python, ...) • Abstraction and Simplicity (Java, Python) • Killer app/framework (Ruby) Monday, November 14, 11
15. Why is language X successful? • Portability (C, Java, Python, ...) • Abstraction and Simplicity (Java, Python) • Killer app/framework (Ruby) • Batteries Included (Python, Matlab) Monday, November 14, 11
16. Why is language X successful? • Portability (C, Java, Python, ...) • Abstraction and Simplicity (Java, Python) • Killer app/framework (Ruby) • Batteries Included (Python, Matlab) • Tooling (VB, Java) Monday, November 14, 11
17. Why is language X successful? • Portability (C, Java, Python, ...) • Abstraction and Simplicity (Java, Python) • Killer app/framework (Ruby) • Batteries Included (Python, Matlab) • Tooling (VB, Java) • Company Support (VB, C#, ABAP) Monday, November 14, 11
18. Systems Monday, November 14, 11
19. Rust Monday, November 14, 11
20. Rust Monday, November 14, 11
21. Rust •No null Monday, November 14, 11
22. Rust •No null •Closures Monday, November 14, 11
23. Rust •No null •Closures •Blocks Monday, November 14, 11
24. Rust •No null •Closures •Blocks •Generics w/ Type Inference Monday, November 14, 11
25. Rust •No null •Closures •Blocks •Generics w/ Type Inference •Crates Monday, November 14, 11
26. Rust •No null •Closures •Blocks •Generics w/ Type Inference •Crates Monday, November 14, 11
27. Rust •No null •Closures •Blocks •Generics w/ Type Inference •Crates Monday, November 14, 11
28. Plaid Monday, November 14, 11
29. Plaid Monday, November 14, 11
30. Plaid •Lambdas Monday, November 14, 11
31. Plaid •Lambdas •Closures Monday, November 14, 11
32. Plaid •Lambdas •Closures •Access Permissions Monday, November 14, 11
33. Plaid •Lambdas •Closures •Access Permissions • immutable, unique, full Monday, November 14, 11
34. Plaid •Lambdas •Closures •Access Permissions • immutable, unique, full •Pattern Matching Monday, November 14, 11
35. Plaid •Lambdas •Closures •Access Permissions • immutable, unique, full •Pattern Matching Monday, November 14, 11
36. Rust vs Plaid Monday, November 14, 11
37. Rust vs Plaid Research-level Monday, November 14, 11
38. Rust vs Plaid Research-level Company-supported Monday, November 14, 11
39. Rust vs Plaid Research-level Company-supported C/LLVM Monday, November 14, 11
40. Rust vs Plaid Research-level Company-supported JVM C/LLVM Monday, November 14, 11
41. Rust vs Plaid Research-level Company-supported JVM C/LLVM Verbose on permissions Monday, November 14, 11
42. Rust vs Plaid Research-level Company-supported JVM C/LLVM Verbose on permissions Limited on permissions Monday, November 14, 11
43. Rust vs Plaid Research-level Company-supported JVM C/LLVM Verbose on permissions Limited on permissions Crates Monday, November 14, 11
44. Rust vs Plaid Research-level Company-supported JVM C/LLVM Verbose on permissions Limited on permissions Rust vs C Crates Monday, November 14, 11
45. Java.next() Monday, November 14, 11
46. ATM Monday, November 14, 11
47. ATM • JRuby Monday, November 14, 11
48. ATM • JRuby • Mirah (Duby) Monday, November 14, 11
49. ATM • JRuby • Mirah (Duby) • Gosu Monday, November 14, 11
50. ATM • JRuby • Mirah (Duby) • Gosu • Scala Monday, November 14, 11
51. Kotlin By Jetbrains Monday, November 14, 11
52. Kotlin • Reified Generics By Jetbrains Monday, November 14, 11
53. Kotlin • Reified Generics • Nullables By Jetbrains Monday, November 14, 11
54. Kotlin • Reified Generics • Nullables • Type Inference By Jetbrains Monday, November 14, 11
55. Kotlin • Reified Generics • Nullables • Type Inference • Pattern Matching By Jetbrains Monday, November 14, 11
56. Kotlin • Reified Generics • Nullables • Type Inference • Pattern Matching • Extension Functions By Jetbrains Monday, November 14, 11
57. Kotlin • Reified Generics • Nullables • Type Inference • Pattern Matching • Extension Functions Only with support from other IDEs By Jetbrains Monday, November 14, 11
58. Xtend By Eclipse Monday, November 14, 11
59. Xtend • Pattern Matching • Extension Functions • Multi dispatch (visitor) By Eclipse Monday, November 14, 11
60. Xtend • Pattern Matching • Extension Functions • Multi dispatch (visitor) By Eclipse Monday, November 14, 11
61. Xtend • Pattern Matching • Extension Functions • Multi dispatch (visitor) By Eclipse Monday, November 14, 11
62. Xtend • Pattern Matching • Extension Functions • Multi dispatch (visitor) By Eclipse Monday, November 14, 11
63. Xtend • Pattern Matching • Extension Functions • Multi dispatch (visitor) Only with a great framework By Eclipse Monday, November 14, 11
64. Ceylon By Redhat Monday, November 14, 11
65. Ceylon • Syntax similar to Java By Redhat Monday, November 14, 11
66. Ceylon • Syntax similar to Java • Tree-like DSLs By Redhat Monday, November 14, 11
67. Ceylon • Syntax similar to Java • Tree-like DSLs • Better macro/annotations By Redhat Monday, November 14, 11
68. Ceylon • Syntax similar to Java • Tree-like DSLs • Better macro/annotations By Redhat Monday, November 14, 11
69. Ceylon • Syntax similar to Java • Tree-like DSLs • Better macro/annotations No chance By Redhat Monday, November 14, 11
70. Java.next conclusions Monday, November 14, 11
71. Java.next conclusions • Java.next needs good tooling Monday, November 14, 11
72. Java.next conclusions • Java.next needs good tooling • There are too many choices Monday, November 14, 11
73. Java.next conclusions • Java.next needs good tooling • There are too many choices • They are all similar Monday, November 14, 11
74. Java.next conclusions • Java.next needs good tooling • There are too many choices • They are all similar Java 8 Monday, November 14, 11
75. Java.next conclusions • Java.next needs good tooling • There are too many choices • They are all similar Java 8 Scala for niches Monday, November 14, 11
76. Browser Monday, November 14, 11
77. Harmony Monday, November 14, 11
78. Harmony Monday, November 14, 11
79. Harmony Monday, November 14, 11
80. Harmony Monday, November 14, 11
81. Dart By Google Monday, November 14, 11
82. Dart By Google Monday, November 14, 11
83. Dart vs Harmony Monday, November 14, 11
84. Dart vs Harmony • Tooling Monday, November 14, 11
85. Dart vs Harmony • Tooling • Other browsers Monday, November 14, 11
86. Dart vs Harmony • Tooling • Other browsers • Complex projects Monday, November 14, 11
87. Dart vs Harmony • Tooling • Other browsers • Complex projects • Fast operations Monday, November 14, 11
88. Dart vs Harmony • Tooling • Other browsers • Complex projects • Fast operations Language heterogeneity Monday, November 14, 11
89. Parallel languages Monday, November 14, 11
90. Fortress Monday, November 14, 11
91. Fortress Monday, November 14, 11
92. Fortress Wrong development approach Monday, November 14, 11
93. Parasail for Phil in Philosopher_Index concurrent loop const Left_Fork := Phil; const Right_Fork := Phil mod Num_Phils + 1; while True loop // Until overall timer terminates procedure Display(Context.IO.Standard_Output, "Philosopher " | Phil | " is thinking\n"); Delay(Clock, Next(Context.Random)); // Think then Pick_Up_Fork(Forks[Left_Fork], #is_left_fork); || Pick_Up_Fork(Forks[Right_Fork], #is_right_fork); then Display(Context.IO.Standard_Output, "Philosopher " | Phil | " is eating\n"); Delay(Clock, Next(Context.Random)); // Eat then Put_Down_Fork(Forks[Left_Fork]); || Put_Down_Fork(Forks[Right_Fork]); end loop; end loop; end procedure Dinner_Party; Monday, November 14, 11
94. Parasail for Phil in Philosopher_Index concurrent loop const Left_Fork := Phil; const Right_Fork := Phil mod Num_Phils + 1; while True loop // Until overall timer terminates procedure Display(Context.IO.Standard_Output, "Philosopher " | Phil | " is thinking\n"); Delay(Clock, Next(Context.Random)); // Think then Pick_Up_Fork(Forks[Left_Fork], #is_left_fork); || Pick_Up_Fork(Forks[Right_Fork], #is_right_fork); then Display(Context.IO.Standard_Output, "Philosopher " | Phil | " is eating\n"); Delay(Clock, Next(Context.Random)); // Eat then Put_Down_Fork(Forks[Left_Fork]); || Put_Down_Fork(Forks[Right_Fork]); end loop; end loop; end procedure Dinner_Party; Syntax + Tooling Monday, November 14, 11
95. Æminium val (immutable Integer >> immutable Integer) -> immutable Integer fib = fn (immutable Integer >> immutable Integer n) => { match (n <= 2) { case True { 1; } case False { fib(n - 1) + fib(n - 2); } } }; outside/inside RW R - R RW unique unique full immutable share pure Monday, November 14, 11
96. Æminium val (immutable Integer >> immutable Integer) -> immutable Integer fib = fn (immutable Integer >> immutable Integer n) => { match (n <= 2) { case True { 1; } case False { fib(n - 1) + fib(n - 2); } } }; outside/inside RW R - R RW unique unique full immutable share pure Hard to write Monday, November 14, 11
97. DSLs Monday, November 14, 11
98. Opa broadcast(author) = do Network.broadcast({~author text=Dom.get_value(#entry)}, room) Dom.clear_value(#entry) start() = author = Random.string(8) <div id=#header><div id=#logo></></> <div id=#conversation onready={_ -> Network.add_callback(user_update, room)}></> <div id=#footer> <input id=#entry onnewline={_ -> broadcast(author)} /> <div class="button" onclick={_ -> broadcast(author)}>Post</> </> server = Server.one_page_bundle("Chat", [@static_resource_directory("resources")], ["resources/css.css"], start) Monday, November 14, 11
99. Opa broadcast(author) = do Network.broadcast({~author text=Dom.get_value(#entry)}, room) Dom.clear_value(#entry) start() = author = Random.string(8) <div id=#header><div id=#logo></></> <div id=#conversation onready={_ -> Network.add_callback(user_update, room)}></> <div id=#footer> <input id=#entry onnewline={_ -> broadcast(author)} /> <div class="button" onclick={_ -> broadcast(author)}>Post</> </> server = Server.one_page_bundle("Chat", [@static_resource_directory("resources")], ["resources/css.css"], start) Hard to separate concerns Monday, November 14, 11
100. Frink (6 years + 9 months) Monday, November 14, 11
101. Frink (6 years + 9 months) tw[v0, alpha, h0 = 1 meter, hw = 10 fe et, g=gravity] := { vy0 = v0 sin[alpha] radical = (2 g (h0 - hw) + vy0^2) if (radical < 0 mph^2) return["No solution"] radical = radical^(1/2) return [(vy0 - radical)/ g, (vy0 + radical)/g] } Monday, November 14, 11
102. Frink (6 years + 9 months) tw[v0, alpha, h0 = 1 meter, hw = 10 fe et, g=gravity] := { vy0 = v0 sin[alpha] radical = (2 g (h0 - hw) + vy0^2) if (radical < 0 mph^2) return["No solution"] radical = radical^(1/2) return [(vy0 - radical)/ g, (vy0 + radical)/g] } Best calculator ever! Monday, November 14, 11
103. Magpie Monday, November 14, 11
104. Magpie • Dynamic language (Similar to Mirah) Monday, November 14, 11
105. Magpie • Dynamic language (Similar to Mirah) • Multi-methods Monday, November 14, 11
106. Magpie • Dynamic language (Similar to Mirah) • Multi-methods • Syntax extensions Monday, November 14, 11
107. Magpie • Dynamic language (Similar to Mirah) • Multi-methods • Syntax extensions Too dynamic Monday, November 14, 11
108. OMeta Monday, November 14, 11
109. OMeta Great for DSLs Monday, November 14, 11
110. Esoteric Monday, November 14, 11
111. Wheeler Monday, November 14, 11
112. Wheeler Monday, November 14, 11
113. Wheeler Monday, November 14, 11
114. Wheeler ?!?! Monday, November 14, 11
115. Clay Monday, November 14, 11
116. Clay Winner Monday, November 14, 11
117. C will not die anytime soon. Monday, November 14, 11
118. Thank you Alcides Fonseca http://alcidesfonseca.com Monday, November 14, 11