Unison: A Programming Language for Distributed Computing

"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.  -- Kris on Twitter: https://twitter.com/krisajenkins Kris on LinkedIn: https://www.linkedin.com/in/krisjenkins/ Rúnar on Twitter: https://twitter.com/runarorama Rúnar's book, Function Programming in Scala: https://amzn.to/46I9jew Unison website: https://unison-lang.org Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism (pdf): https://www.cl.cam.ac.uk/~nk480/bidir.pdf Do Be Do Be Do (pdf): https://arxiv.org/pdf/1611.09259.pdf Rúnar's Øredev conference talk: https://youtu.be/EgIVzOobD48 Cloud icons created by Freepik - Flaticon: https://www.flaticon.com/free-icons/cloud Computer icons created by xnimrodx - Flaticon: https://www.flaticon.com/free-icons/computer

Om Podcasten

Deep-dive discussions with the smartest developers we know, explaining what they're working on, how they're trying to move the industry forward, and what we can learn from them. You might find the solution to your next architectural headache, pick up a new programming language, or just hear some good war stories from the frontline of technology. Join your host Kris Jenkins as we try to figure out what tomorrow's computing will look like the best way we know how - by listening directly to the developers' voices.