“Software development has not caught up with the internet age.” So says this week’s guest, Rúnar Bjarnason. But what does that mean? What would a programming language for the internet age look like?
Rúnar’s answer is Unison. A language that completely rethinks the way distributing computing can work, from the source code up. Borrowing some key ideas from git, it challenges the way we think about code-sharing, compilation, versioning and more.
--
00:00 Intro
2:19 Welcome
3:45 The Origins of Unison
7:09 So what is Unison like?
9:55 Sending code over the network
12:28 Programming Languages in the Internet Age
17:04 Cloud Computing as Granular as You Like
19:57 Data Migration
24:00 Unison’s release state & near-future
26:50 Abilities and Managed Side Effects
35:25 The useability tradeoffs of sophisticated type systems
38:34 Who is Unison for?
39:56 Perfect incremental compilation
43:06 Comments and other metadata
45:45 Code formatting and surface syntax
50:09 The state of Unison today
51:59 Hackathons & Coding Competitions
53:45 Library support & interop
55:56 How Unison’s ideas are starting to spread
1:00:36 Outro
--
Kris on Twitter: / krisajenkins
Kris on LinkedIn: / krisjenkins
Rúnar on Twitter: / runarorama
Rúnar’s book, Function Programming in Scala: amzn.to/46I9jew
Unison website: unison-lang.org
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism (pdf): www.cl.cam.ac.uk/~nk480/bidir...
Do Be Do Be Do (pdf): arxiv.org/pdf/1611.09259.pdf
Rúnar’s Øredev conference talk: • Rúnar Bjarnason - Int...
Cloud icons created by Freepik - Flaticon: www.flaticon.com/free-icons/c...
Computer icons created by xnimrodx - Flaticon: www.flaticon.com/free-icons/c...
--
#software #softwaredevelopment #programming #programminglanguages #unison #unisonlang
29 июл 2024
