Share

cover art for Distributed Functions with Jonathan Magen

Software Unscripted

Distributed Functions with Jonathan Magen

Season 1, Ep. 97

Richard talks with distributed systems scientist Jonathen Magen about functional programming in distributed systems, including languages like Gleam, Elixir, Ballerina, and Jolie. They also talk about type inference, big data, and a few other topics.


Jonathan Magen: https://yonkeltron.com or https://jawns.club/@yonkeltron


Programming languages mentioned:

https://ballerina.io

https://www.jolie-lang.org

https://gleam.run

https://elixir-lang.org


Richard's talk: Why Static Typing Came Back - https://youtu.be/Tml94je2edk

More episodes

View all episodes

  • The EYG Language with Peter Saxton

    01:17:25|
    Richard talks with Peter Saxton, creator of the EYG programming language, about the problems Peter aims to solve with EYG, and some of the unique design decisions he's made with it. A type-safe eval() operation even comes up in the discussion!EYG: https://eyg.runUnison: https://unison-lang.orgRoc: https://roc-lang.org
  • 102. AI in Programming Education with Will Sentance

    59:21||Season 1, Ep. 102
    Richard talks with Will Sentance, the teacher of the Hard Parts series and the founder and CEO of CodeSmith, which is a Software Engineering and AI immersive education program. They talk about how AI is intersecting with modern programming education, what's considered "fundamentals" these days, and how Will thinks about teaching object-oriented and functional programming.Support Software Unscripted on Patreon: https://www.patreon.com/SoftwareUnscriptedJavaScript: The Hard Parts: https://frontendmasters.com/courses/javascript-hard-parts-v2/AI for Software Engineers: https://frontendmasters.com/workshops/engineering-and-ai/CodeSmith: https://www.codesmith.io/Richard's courses: https://frontendmasters.com/teachers/richard-feldman/#courses
  • 101. Software for Elite Athletes with Kyle Boddy

    01:07:57||Season 1, Ep. 101
    Richard talks with Kyle Boddy about the biomechanical and data analysis software Kyle wrote—and continues to write—as the founder and CTO of Driveline Baseball, a data-driven player development company that has landed numerous players in Major League Baseball, including multiple Most Valuable Players and 2024's number one draft pick. They talk about Kyle's background in PHP and the C++ he wrote to coordinate budget high-speed cameras back when Driveline was a one-programmer garage shop, up through today where large language models have become an integral part of the development team's daily work.Driveline Baseball: https://www.drivelinebaseball.com/Washington Post article: https://www.washingtonpost.com/opinions/2024/04/10/op-moneyballai/Documentary about Driveline: https://youtu.be/K5Dnshu7atUPhind AI: https://www.phind.com
  • 100. Mojo with Chris Lattner

    01:49:25||Season 1, Ep. 100
    For the 100th episode of Software Unscripted, Richard talks with Chris Lattner, creator of Swift, the Clang C++ compiler, LLVM, and now the Mojo programming language, about Mojo, Roc, API design, compiler optimizations, and language design!"Swift for C++ Practitioners" by Doug Gregor - https://www.douggregor.net/posts/swift-for-cxx-practitioners-value-types/Mojo - https://www.modular.com/mojoModular Computing - https://www.modular.comRoc - https://roc-lang.orgLLVM - https://llvm.orgClang - https://clang.llvm.orgSwift - https://www.swift.orgCUDA - https://developer.nvidia.com/cuda-zoneSIMD - https://en.wikipedia.org/wiki/Single_instructionmultipledatacmov instruction - https://github.com/marcin-osowski/cmov
  • 99. Tooling-Aware Language Design with Eli Dowling

    01:11:59||Season 1, Ep. 99
    Richard talks with Eli Dowling about his contributions to the Roc programming language, as well as the intersection of language design and editor tooling, parsers that recover from errors, tree-sitter, going beyond the language server protocol, and the downsides of macros.Perceus paper - https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdfThe Koka Programming Language - https://koka-lang.github.io"The Quicksort Talk" (Outperforming Imperative with Pure Functional Languages) - https://youtu.be/vzfy4EKwG_YTree-Sitter - https://tree-sitter.github.ioNeovim Editor - https://neovim.ioHelix Editor - https://helix-editor.comZed Editor - https://zed.devLanguage Server Protocol (LSP) - https://microsoft.github.io/language-server-protocolHygienic Macros - https://en.wikipedia.org/wiki/Hygienic_macroRust Macros - https://doc.rust-lang.org/book/ch19-06-macros.html
  • 98. The CrowdStrike Incident with Kelly Shortridge

    58:30||Season 1, Ep. 98
    Richard talks with Kelly Shortridge about the CrowdStrike Incident that caused many computers worldwide to get stuck in a boot loop on July 19, 2024.A video version of this episode is available on YouTube at https://www.youtube.com/watch?v=rzjaZssBEiI or ad-free to our wonderful Patreon supporters! https://www.patreon.com/posts/109888395The incident: https://en.wikipedia.org/wiki/2024_CrowdStrike_incidentKelly Shortridge: https://www.kellyshortridge.comKelly's book: https://securitychaoseng.comHillel Wayne's interviews with traditional engineers who have also been software engineers: https://www.hillelwayne.com/talks/crossover-projectGell-Mann amnesia effect: https://en.wikipedia.org/wiki/Michael_Crichton#Gell-Mann_amnesia_effect
  • 96. Undo-Redo and Persistent State with Tom Ballinger

    59:28||Season 1, Ep. 96
    Richard talks with Tom Ballinger about undo and redo in the context of REPLs and running effects, stateful systems in general, hot code loading, and database query planning.
  • 95. Smalltalk's Past, Present, and Future with Juan Vuletich

    54:30||Season 1, Ep. 95
    Richard talks with Juan Vuletich, creator of Cuis Smalltalk, about the past, present and future of Smalltalk - including quite a bit of interesting history and programming philosophy!