Future Programming Languages

The Future ofProgramming Languages

Alcides FonsecaTambém lança búziose cura mau olhado.

Monday, November 14, 11

Disclaimer

These opinions are my own and may not reflect future events.

Roadmap

RoadmapWhy is language X successful?

Systems

Java.Next

Systems

Java.Next

Browser

Systems

Java.Next

Browser

Parallel

Systems

Java.Next

Browser

Parallel

Systems

Java.Next

Browser

Parallel

Esoteric

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)

Systems

•No null

•No null•Closures

•No null•Closures•Blocks

•No null•Closures•Blocks•Generics w/ Type Inference

•No null•Closures•Blocks•Generics w/ Type Inference•Crates

•Lambdas

•Lambdas•Closures

•Lambdas•Closures•Access Permissions

• immutable, unique, full

• immutable, unique, full•Pattern Matching

Rust vs Plaid

Research-level

Rust vs Plaid

Research-levelCompany-supported

Rust vs Plaid

C/LLVM

Rust vs Plaid

JVMC/LLVM

Rust vs Plaid

JVMC/LLVM

Verbose on permissions

Rust vs Plaid

JVMC/LLVM

Verbose on permissionsLimited on permissions

Rust vs Plaid

JVMC/LLVM

Crates

Rust vs Plaid

JVMC/LLVM

Rust vs C

Crates

Java.next()

• JRuby

• Mirah (Duby)

• JRuby

• Mirah (Duby)

• Gosu

• JRuby

• Mirah (Duby)

• Gosu

• Scala

Kotlin

By Jetbrains

Kotlin• Reified Generics

By Jetbrains

• NullablesBy Jetbrains

• Nullables

• Type Inference

By Jetbrains

• Nullables

• Type Inference

• Pattern Matching

By Jetbrains

• Nullables

• Type Inference

• Extension Functions

By Jetbrains

• Nullables

• Type Inference

Only with support from other IDEs

By Jetbrains

XtendBy Eclipse

• Multi dispatch (visitor)

By Eclipse

Only with a great framework

By Eclipse

CeylonBy Redhat

Ceylon

• Syntax similar to Java

By Redhat

Ceylon

• Tree-like DSLs

By Redhat

Ceylon

• Tree-like DSLs

• Better macro/annotations

By Redhat

Ceylon

• Tree-like DSLs

By Redhat

Ceylon

• Tree-like DSLs

No chance

By Redhat

Java.next conclusions

• Java.next needs good tooling

• There are too many choices

• They are all similar

Java 8

Java 8 Scala for niches

Browser

Harmony

DartBy Google

Dart vs Harmony

• Tooling

Dart vs Harmony

• Tooling

• Other browsers

Dart vs Harmony

• Tooling

• Other browsers

• Complex projects

Dart vs Harmony

• Tooling

• Other browsers

• Fast operations

Dart vs Harmony

• Tooling

• Other browsers

• Fast operations

Language heterogeneity

Parallel languages

Fortress

Wrong development approach

Parasailfor 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;

Parasailfor 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

Æminiumval (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

full immutable

share pure

Æminiumval (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

full immutable

share pureHard to write

Opabroadcast(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)

Opabroadcast(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

Frink(6 years + 9 months)

tw[v0, alpha, h0 = 1 meter, hw = 10 feet, 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]}

tw[v0, alpha, h0 = 1 meter, hw = 10 feet, 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!

Magpie

• Dynamic language (Similar to Mirah)

Magpie

• Multi-methods

Magpie

• Multi-methods

• Syntax extensions

Magpie

• Multi-methods

• Syntax extensions

Too dynamic

Great for DSLs

Esoteric

Wheeler

Winner

C will not dieanytime soon.

Thank you

Alcides Fonsecahttp://alcidesfonseca.com

Future Programming Languages

Technology

Transcript of Future Programming Languages

Programming Languages: History and Futurethecorememory.com/Programming_Languages_-_Sammet.pdf · Programming Languages: History and Future Jean E. Sammet IBM Corporation This ...

CS 363 Comparative Programming Languages Evolution of Programming Languages.

Panel 1: Hot topics and future directions in programming languages (PL) research

Programming languages

CMSC 330: Organization of Programming Languages · Why study functional programming? 9 Functional languages predict the future: •Garbage collection •Java [1995], LISP [1958] •Parametric

Languages of the future: mega the 701 st programming language

CSE 452: Programming Languages Logical Programming Languages Part 1.

Programming languages

A more functional future for statistical computing? · Pre-historic programming languages All of the programming languages commonly used for scienti c and statistical computing were

Programming Languages: History and Future

L23: Future Parallel Programming Languages November 30, 2010.

Term 2, 2011 Week 1. CONTENTS Problem-solving methodology Programming and scripting languages – Programming languages Programming languages – Scripting.

CS 363 Comparative Programming Languages Logic Programming Languages.

THE PROGRAMMING LANGUAGES OF THE FUTURE WILL BE …€¦ · programming languages must support these explora tions. LISP is the best programming language yet de veloped in which to

Justification of Programming Languages – an Introduction · Justification of Programming Languages – an Introduction ... Justification of Programming Languages – an Introduction

Programming Languages Chapter OneModern Programming Languages, 2nd ed.1.

L23: Future Parallel Programming Languages

CSE 452: Programming Languages Logical Programming Languages Part 2.

ProgrammingLanguages Programming Languages Parallel Programming languages.

Programming Languages CS 242 of the Future