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

  • 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!
  • 94. From Game Dev to Web Dev

    01:08:32||Season 1, Ep. 94
    Richard talks with Wolfgang Schuster about his experiences first as a professional game developer, and then later as a professional Web developer. Theytalk about the differences in programming practices he's seen between the two, including things like automated testing, dependency management, and releases.
  • 93. Fuzz Testing with Brendan Hansknecht

    01:06:03||Season 1, Ep. 93
    Richard talks with Brendan Hansknecht, an AI compiler engineer at Modular, about various testing techniques, including fuzzing, property-based tests, database tests, tests involving network requests, and more!
  • 92. A Haskeller Tries Smalltalk with Ian Jeffries

    01:04:25||Season 1, Ep. 92
    Richard talks with Ian Jeffries about his experiences as a Haskeller exploring modern Smalltalk (arguably the original object-oriented programming language), including both the historical context of where Smalltalk came from as well as what it's like using it in a modern context.