lightning talk: envisioning a new inherently shared programming language

25
–Ford Prefect “Time is an illusion, lunchtime doubly so”

Upload: jan-krag

Post on 08-Aug-2015

81 views

Category:

Technology


0 download

TRANSCRIPT

Page 1: Lightning talk: Envisioning a new inherently shared programming language

–Ford Prefect

“Time is an illusion, lunchtime doubly so”

Page 2: Lightning talk: Envisioning a new inherently shared programming language

Language brainstorm

[PolyConf] -> [Lunch] -> [Crazy idea?]

Scala of Lancarrow@jankrag

Page 3: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

What happens at PolyConf stays at…

A lunch talk extrapolated to a brainstorm with Korneliusz Caputa

Page 4: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Initial thoughts

• Much code has already been done - somewhere

• What a waste…

Page 5: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Initial thoughts

• At least one company has already ingested ALL public data on GitHub for analysis

• and use it (only?) for recruitment

• … what a waste

Page 6: Lightning talk: Envisioning a new inherently shared programming language
Page 7: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Language where sharing is built in

Page 8: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

thus open source is built in

Page 9: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

…the compiler …the runtime

…or something?To

Page 10: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Discovery built into your vIDEmacs

Page 11: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Premise:

We already (mostly) trust std. libs

And have them at our fingertips

Why not more?

Page 12: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

So… brainstorm time

Page 13: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Page 14: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Pure functions might make it easier?

Page 15: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Advanced type system (like Haskell but more readable)

Page 16: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Expressive, searchable contracts

Page 17: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Type providers like F# (for IDE magic)

Page 18: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Distributed runtime?

Page 19: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Maybe even P2P?

Page 20: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

JIT function “caching” or redistribution

• Like BitTorrent magic?

• Copy frequent functions to local runtime or at least closer?

• If 10 people in this room are calling map, it would be copied to one of us?

• If I use it a lot, I might get local version?

Page 21: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Challenges?

Page 22: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Performanceespecially if distributed runtime

Page 23: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Security, obviously

Page 24: Lightning talk: Envisioning a new inherently shared programming language

@jankrag

Naah, that shouldn’t stop a

good idea :-)

Page 25: Lightning talk: Envisioning a new inherently shared programming language

@jankragmake it happen?

Shoot

Think

Suggest Deny

Improve

Tweet…