Future Programming Languages

The Future of Programming Languages Alcides Fonseca Também lança búzios e cura mau olhado.Monday, November 14, 11

Disclaimer These opinions are my own and may not reﬂect future events.Monday, November 14, 11

RoadmapMonday, November 14, 11

Roadmap Why is language X successful?Monday, November 14, 11

Roadmap Why is language X successful? SystemsMonday, November 14, 11

Roadmap Why is language X successful? Systems Java.NextMonday, November 14, 11

Roadmap Why is language X successful? Systems Java.Next BrowserMonday, November 14, 11

Roadmap Why is language X successful? Systems Java.Next Browser ParallelMonday, November 14, 11

Roadmap Why is language X successful? Systems Java.Next Browser Parallel DSLMonday, November 14, 11

Roadmap Why is language X successful? Systems Java.Next Browser Parallel DSL EsotericMonday, November 14, 11

Why is language X successful?Monday, November 14, 11

Why is language X successful? • Portability (C, Java, Python, ...)Monday, November 14, 11

Why is language X successful? • Portability (C, Java, Python, ...) • Abstraction and Simplicity (Java, Python)Monday, November 14, 11

Why is language X successful? • Portability (C, Java, Python, ...) • Abstraction and Simplicity (Java, Python) • Killer app/framework (Ruby)Monday, November 14, 11

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

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

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

SystemsMonday, November 14, 11

RustMonday, November 14, 11

Rust •No nullMonday, November 14, 11

Rust •No null •ClosuresMonday, November 14, 11

Rust •No null •Closures •BlocksMonday, November 14, 11

Rust •No null •Closures •Blocks •Generics w/ Type InferenceMonday, November 14, 11

Rust •No null •Closures •Blocks •Generics w/ Type Inference •CratesMonday, November 14, 11

PlaidMonday, November 14, 11

Plaid •LambdasMonday, November 14, 11

Plaid •Lambdas •ClosuresMonday, November 14, 11

Plaid •Lambdas •Closures •Access PermissionsMonday, November 14, 11

Plaid •Lambdas •Closures •Access Permissions • immutable, unique, fullMonday, November 14, 11

Plaid •Lambdas •Closures •Access Permissions • immutable, unique, full •Pattern MatchingMonday, November 14, 11

Rust vs PlaidMonday, November 14, 11

Rust vs Plaid Research-levelMonday, November 14, 11

Rust vs Plaid Company-supported Research-levelMonday, November 14, 11

Rust vs Plaid Company-supported Research-level C/LLVMMonday, November 14, 11

Rust vs Plaid Company-supported Research-level C/LLVM JVMMonday, November 14, 11

Rust vs Plaid Company-supported Research-level C/LLVM JVM Verbose on permissionsMonday, November 14, 11

Rust vs Plaid Company-supported Research-level C/LLVM JVM Limited on permissions Verbose on permissionsMonday, November 14, 11

Rust vs Plaid Company-supported Research-level C/LLVM JVM Limited on permissions Verbose on permissions CratesMonday, November 14, 11

Rust vs Plaid Company-supported Research-level C/LLVM JVM Limited on permissions Verbose on permissions Crates Rust vs CMonday, November 14, 11

Java.next()Monday, November 14, 11

ATMMonday, November 14, 11

ATM • JRubyMonday, November 14, 11

ATM • JRuby • Mirah (Duby)Monday, November 14, 11

ATM • JRuby • Mirah (Duby) • GosuMonday, November 14, 11

ATM • JRuby • Mirah (Duby) • Gosu • ScalaMonday, November 14, 11

Kotlin By JetbrainsMonday, November 14, 11

Kotlin • Reiﬁed Generics By JetbrainsMonday, November 14, 11

Kotlin • Reiﬁed Generics By Jetbrains • NullablesMonday, November 14, 11

Kotlin • Reiﬁed Generics By Jetbrains • Nullables • Type InferenceMonday, November 14, 11

Kotlin • Reiﬁed Generics By Jetbrains • Nullables • Type Inference • Pattern MatchingMonday, November 14, 11

Kotlin • Reiﬁed Generics By Jetbrains • Nullables • Type Inference • Pattern Matching • Extension FunctionsMonday, November 14, 11

Kotlin • Reiﬁed Generics By Jetbrains • Nullables • Type Inference • Pattern Matching • Extension Functions Only with support from other IDEsMonday, November 14, 11

Xtend By EclipseMonday, November 14, 11

Xtend By Eclipse • Pattern Matching • Extension Functions • Multi dispatch (visitor)Monday, November 14, 11

Xtend By Eclipse • Pattern Matching • Extension Functions • Multi dispatch (visitor) Only with a great frameworkMonday, November 14, 11

Ceylon By RedhatMonday, November 14, 11

Ceylon By Redhat • Syntax similar to JavaMonday, November 14, 11

Ceylon By Redhat • Syntax similar to Java • Tree-like DSLsMonday, November 14, 11

Ceylon By Redhat • Syntax similar to Java • Tree-like DSLs • Better macro/annotationsMonday, November 14, 11

Ceylon By Redhat • Syntax similar to Java • Tree-like DSLs • Better macro/annotations No chanceMonday, November 14, 11

Java.next conclusionsMonday, November 14, 11

Java.next conclusions • Java.next needs good toolingMonday, November 14, 11

Java.next conclusions • Java.next needs good tooling • There are too many choicesMonday, November 14, 11

Java.next conclusions • Java.next needs good tooling • There are too many choices • They are all similarMonday, November 14, 11

Java.next conclusions • Java.next needs good tooling • There are too many choices • They are all similar Java 8Monday, November 14, 11

Java.next conclusions • Java.next needs good tooling • There are too many choices • They are all similar Java 8 Scala for nichesMonday, November 14, 11

BrowserMonday, November 14, 11

HarmonyMonday, November 14, 11

Dart By GoogleMonday, November 14, 11

Dart vs HarmonyMonday, November 14, 11

Dart vs Harmony • ToolingMonday, November 14, 11

Dart vs Harmony • Tooling • Other browsersMonday, November 14, 11

Dart vs Harmony • Tooling • Other browsers • Complex projectsMonday, November 14, 11

Dart vs Harmony • Tooling • Other browsers • Complex projects • Fast operationsMonday, November 14, 11

Dart vs Harmony • Tooling • Other browsers • Complex projects • Fast operations Language heterogeneityMonday, November 14, 11

Parallel languagesMonday, November 14, 11

FortressMonday, November 14, 11

Fortress Wrong development approachMonday, November 14, 11

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 thinkingn"); 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 eatingn"); 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

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 thinkingn"); 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 eatingn"); 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 + ToolingMonday, November 14, 11

Æ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 } }; - unique unique R full immutable RW share pureMonday, November 14, 11

Æ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 } }; - unique unique R full immutable Hard to write RW share pureMonday, November 14, 11

DSLsMonday, November 14, 11

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

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 concernsMonday, November 14, 11

Frink (6 years + 9 months)Monday, November 14, 11

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

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)/ Best calculator ever! g, (vy0 + radical)/g] }Monday, November 14, 11

MagpieMonday, November 14, 11

Magpie • Dynamic language (Similar to Mirah)Monday, November 14, 11

Magpie • Dynamic language (Similar to Mirah) • Multi-methodsMonday, November 14, 11

Magpie • Dynamic language (Similar to Mirah) • Multi-methods • Syntax extensionsMonday, November 14, 11

Magpie • Dynamic language (Similar to Mirah) • Multi-methods • Syntax extensions Too dynamicMonday, November 14, 11

OMetaMonday, November 14, 11

OMeta Great for DSLsMonday, November 14, 11

EsotericMonday, November 14, 11

WheelerMonday, November 14, 11

Wheeler ?!?!Monday, November 14, 11

ClayMonday, November 14, 11

Clay WinnerMonday, November 14, 11

C will not die anytime soon.Monday, November 14, 11

Thank you Alcides Fonseca http://alcidesfonseca.comMonday, November 14, 11

Future Programming Languages

by Alcides Fonseca on Nov 14, 2011

Accessibility

Categories

Tags

Upload Details

Usage Rights

Statistics

Future Programming Languages — Presentation Transcript