The Changelog: Software Development, Open Source

Gradually gradually typing Elixir (Friends)


Listen Later

Our old friend José Valim & his team have been hard at work adding gradual typing to Elixir. They’re only 1-3% of the way there, but a lot of progress has been made. So, we invited him back on the show for a deep-dive on why, how & when Elixir will be gradually typed.

Join the discussion

Changelog++ members save 5 minutes on this episode because they made the ads disappear. Join today!

Sponsors:

  • Vercel – With zero configuration for over 35 frameworks, Vercel’s Frontend Cloud makes it easy for any team to deploy their apps. Today, you can get a 14-day free trial of Vercel Pro, or get a customized Enterprise demo from their team. Visit vercel.com/changelogpod to get started.
  • Read Write Own – Read, Write, Own: Building the Next Era of the Internet—a new book from entrepreneur and investor Chris Dixon—explores one possible solution to the internet’s authenticity problem: Blockchains. From AI that tracks its source material to generative programs that compensate—rather than cannibalize—creators. It’s a call to action for a more open, transparent, and democratic internet. One that opens the black box of AI, tracks the origins we see online, and much more. Order your copy of Read, Write, Own today at readwriteown.com
  • Featuring:

    • José Valim – Website, GitHub, X
    • Jerod Santo – Website, GitHub, LinkedIn, Mastodon, X
    • Adam Stacoviak – Website, GitHub, LinkedIn, Mastodon, X

    Show Notes:

    • José’s previous appearances
    • José’s viral tweet
    • Dialyzer
    • Hare aims to be a 100 year language
    • Something missing or broken? PRs welcome!

      ...more
      View all episodesView all episodes
      Download on the App Store

      The Changelog: Software Development, Open SourceBy Changelog Media

      • 4.7
      • 4.7
      • 4.7
      • 4.7
      • 4.7

      4.7

      286 ratings


      More shows like The Changelog: Software Development, Open Source

      View all
      Software Engineering Radio - the podcast for professional software developers by team@se-radio.net (SE-Radio Team)

      Software Engineering Radio - the podcast for professional software developers

      273 Listeners

      Software Engineering Daily by Software Engineering Daily

      Software Engineering Daily

      626 Listeners

      LINUX Unplugged by Jupiter Broadcasting

      LINUX Unplugged

      275 Listeners

      Talk Python To Me by Michael Kennedy

      Talk Python To Me

      583 Listeners

      Soft Skills Engineering by Jamison Dance and Dave Smith

      Soft Skills Engineering

      287 Listeners

      Data Engineering Podcast by Tobias Macey

      Data Engineering Podcast

      149 Listeners

      Syntax - Tasty Web Development Treats by Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

      Syntax - Tasty Web Development Treats

      985 Listeners

      REWORK by 37signals

      REWORK

      212 Listeners

      Practical AI by Practical AI LLC

      Practical AI

      212 Listeners

      AWS Podcast by Amazon Web Services

      AWS Podcast

      204 Listeners

      The Stack Overflow Podcast by The Stack Overflow Podcast

      The Stack Overflow Podcast

      63 Listeners

      The Real Python Podcast by Real Python

      The Real Python Podcast

      140 Listeners

      Big Technology Podcast by Alex Kantrowitz

      Big Technology Podcast

      512 Listeners

      Training Data by Sequoia Capital

      Training Data

      39 Listeners

      The Pragmatic Engineer by Gergely Orosz

      The Pragmatic Engineer

      77 Listeners