Artwork

Content provided by Changelog Media. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Changelog Media or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!
icon Daily Deals

The Roc programming language (Interview)

1:35:56
 
Share
 

Manage episode 488136113 series 1282967
Content provided by Changelog Media. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Changelog Media or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.player.fm/legal.

Jerod chats with Richard Feldman about Roc – his fast, friendly, functional language inspired by Richard’s love of Elm. Roc takes many of Elm’s ideas beyond the frontend and introduces some great ideas of its own. Get ready to learn about static dispatch, platforms vs applications, opportunistic mutation, purity inference, and a whole lot more.

Join the discussion

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

Sponsors:

  • RetoolAssemble your elite AI team, arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents
  • Fly.ioThe home of Changelog.com — Deploy your apps close to your users — global Anycast load-balancing, zero-configuration private networking, hardware isolation, and instant WireGuard VPN connections. Push-button deployments that scale to thousands of instances. Check out the speedrun to get started in minutes.

Featuring:

Show Notes:

Something missing or broken? PRs welcome!

  continue reading

Chapters

1. This week on The Changelog (00:00:00)

2. Sponsor: Retool (00:01:12)

3. Start the show! (00:03:11)

4. Elm (00:07:48)

5. Evolution (00:13:25)

6. Static dispatch (00:17:22)

7. Not self-hosted (00:24:50)

8. General purpose (00:28:48)

9. Platforms and apps (00:31:03)

10. Implementing platforms (00:35:20)

11. Sponsor: Fly.io (00:38:16)

12. Roc vs Go speed (00:41:01)

13. Oportunistic mutation (00:44:50)

14. ARC PTSD (00:47:58)

15. Maybe no, Result yes (00:51:42)

16. Purity inference (01:00:34)

17. Purity overload (01:04:49)

18. Distribution (01:08:30)

19. Downsides (01:10:02)

20. Sharing code (01:16:02)

21. Versioning (01:19:12)

22. Roc and LLMs (01:22:18)

23. New lang optimism (01:24:33)

24. Best Roc experience (01:29:14)

25. Community (01:30:39)

26. Now or later (01:31:19)

27. Connecting (01:32:38)

28. Strange Loop! (01:33:00)

29. C'est la vie (01:33:44)

30. Closing thoughts (01:34:10)

912 episodes

Artwork
iconShare
 
Manage episode 488136113 series 1282967
Content provided by Changelog Media. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Changelog Media or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.player.fm/legal.

Jerod chats with Richard Feldman about Roc – his fast, friendly, functional language inspired by Richard’s love of Elm. Roc takes many of Elm’s ideas beyond the frontend and introduces some great ideas of its own. Get ready to learn about static dispatch, platforms vs applications, opportunistic mutation, purity inference, and a whole lot more.

Join the discussion

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

Sponsors:

  • RetoolAssemble your elite AI team, arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents
  • Fly.ioThe home of Changelog.com — Deploy your apps close to your users — global Anycast load-balancing, zero-configuration private networking, hardware isolation, and instant WireGuard VPN connections. Push-button deployments that scale to thousands of instances. Check out the speedrun to get started in minutes.

Featuring:

Show Notes:

Something missing or broken? PRs welcome!

  continue reading

Chapters

1. This week on The Changelog (00:00:00)

2. Sponsor: Retool (00:01:12)

3. Start the show! (00:03:11)

4. Elm (00:07:48)

5. Evolution (00:13:25)

6. Static dispatch (00:17:22)

7. Not self-hosted (00:24:50)

8. General purpose (00:28:48)

9. Platforms and apps (00:31:03)

10. Implementing platforms (00:35:20)

11. Sponsor: Fly.io (00:38:16)

12. Roc vs Go speed (00:41:01)

13. Oportunistic mutation (00:44:50)

14. ARC PTSD (00:47:58)

15. Maybe no, Result yes (00:51:42)

16. Purity inference (01:00:34)

17. Purity overload (01:04:49)

18. Distribution (01:08:30)

19. Downsides (01:10:02)

20. Sharing code (01:16:02)

21. Versioning (01:19:12)

22. Roc and LLMs (01:22:18)

23. New lang optimism (01:24:33)

24. Best Roc experience (01:29:14)

25. Community (01:30:39)

26. Now or later (01:31:19)

27. Connecting (01:32:38)

28. Strange Loop! (01:33:00)

29. C'est la vie (01:33:44)

30. Closing thoughts (01:34:10)

912 episodes

All episodes

×
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Jeff Cayley joins Adam to talk about selling mountain bikes all over the planet and making some of the best outdoor and mountain bike gear, parts, and accessories you can buy. They have a killer YouTube channel as well. Join the discussion Changelog++ members save 5 minutes on this episode because they made the ads disappear. Join today! Sponsors: Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Depot – 10x faster builds? Yes please. Build faster. Waste less time. Accelerate Docker image builds, and GitHub Actions workflows. Easily integrate with your existing CI provider and dev workflows to save hours of build time. Fly.io – The home of Changelog.com — Deploy your apps close to your users — global Anycast load-balancing, zero-configuration private networking, hardware isolation, and instant WireGuard VPN connections. Push-button deployments that scale to thousands of instances. Check out the speedrun to get started in minutes. Featuring: Jeff Cayley – Website Adam Stacoviak – Website , GitHub , LinkedIn , Mastodon , X Show Notes: Video: Yeti Cycles Factory Tour Video: Revel Bikes Factory Tour Yeti Cycles Revel Bikes Worldwide Cyclery KETL Mtn Apparel Trail One Components Bad Birdie Golf Apparel Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Thorsten Ball returned to Sourcegraph to work on Amp because he believes being able to talk to an alien intelligence that edits your code changes everything. On this episode, Thorsten joins us to discuss exactly how coding agents work, recent advancements in AI tooling, Amp’s uniqueness in a sea of competitors, the divide between believers and skeptics, and more. Join the discussion Changelog++ members save 5 minutes on this episode because they made the ads disappear. Join today! Sponsors: Depot – 10x faster builds? Yes please. Build faster. Waste less time. Accelerate Docker image builds, and GitHub Actions workflows. Easily integrate with your existing CI provider and dev workflows to save hours of build time. Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Featuring: Thorsten Ball – Website , GitHub , X Adam Stacoviak – Website , GitHub , LinkedIn , Mastodon , X Jerod Santo – GitHub , LinkedIn , Mastodon , X Show Notes: How to Build an Agent Amp Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
David Singleton says coding agents have crossed a chasm, Anton Zaides explains how SWEs should approach the “squeeze”, Mat Duggan has ideas for Kubernetes 2.0, Sean Goedecke does a nice job elucidating the coding agent commoditization, and one more good reason to write, even though it’s hard. View the newsletter Join the discussion Changelog++ members support our work, get closer to the metal, and make the ads disappear. Join today! Featuring: Jerod Santo – GitHub , LinkedIn , Mastodon , X…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Our old friend Chris McCord, creator of Elixir’s Phoenix framework, tells us all about his new remote AI runtime for building Phoenix apps. Along the way, we vibe code one of my silly app ideas, calculate all the money we’re going to spend on these tools, and get existential about what it all means. Join the discussion Changelog++ members save 4 minutes on this episode because they made the ads disappear. Join today! Sponsors: Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Depot – 10x faster builds? Yes please. Build faster. Waste less time. Accelerate Docker image builds, and GitHub Actions workflows. Easily integrate with your existing CI provider and dev workflows to save hours of build time. Featuring: Chris McCord – Website , GitHub , X Jerod Santo – GitHub , LinkedIn , Mastodon , X Adam Stacoviak – Website , GitHub , LinkedIn , Mastodon , X Show Notes: Phoenix.new Bolt.new Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Chris Anderson joins the show. You may recognize Chris from the early days of CouchDB and Couchbase. Back when the world was just waking up to NoSQL, Chris was at the center of it all, shaping how developers think about data distribution and offline-first architecture. These days, Chris is working on Vibes.diy and Fireproof — tools that make one-shot app generation not only possible, but shareable within minutes. We talk about the origins of CouchDB, the fork that led to Membase and Couchbase, and how that long journey led to this new paradigm: Vibe Coding. Join the discussion Changelog++ members save 5 minutes on this episode because they made the ads disappear. Join today! Sponsors: Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Depot – 10x faster builds? Yes please. Build faster. Waste less time. Accelerate Docker image builds, and GitHub Actions workflows. Easily integrate with your existing CI provider and dev workflows to save hours of build time. Featuring: Chris Anderson – GitHub , X Adam Stacoviak – Website , GitHub , LinkedIn , Mastodon , X Jerod Santo – GitHub , LinkedIn , Mastodon , X Show Notes: Vibes DIY - AI App Builder There U Glow – Technical Knowledge Nook 2 Vibe Coders inside you - YouTube Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Jerod tells Adam about how bad he hates the taste of Gin, sips on some Generative A Rye (on the rocks), they open the comments section for a bit, and then land the plane talking about being alone, naked, and afraid. Join the discussion Changelog++ members save 6 minutes on this episode because they made the ads disappear. Join today! Sponsors: Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Depot – 10x faster builds? Yes please. Build faster. Waste less time. Accelerate Docker image builds, and GitHub Actions workflows. Easily integrate with your existing CI provider and dev workflows to save hours of build time. Outshift by Cisco – AGNTCY is an open source collective building the Internet of Agents. It’s a collaboration layer where AI agents can communicate, discover each other, and work across frameworks. For developers, this means standardized agent discovery tools, seamless protocols for inter-agent communication, and modular components to compose and scale multi-agent workflows. Featuring: Jerod Santo – GitHub , LinkedIn , Mastodon , X Adam Stacoviak – Website , GitHub , LinkedIn , Mastodon , X Show Notes: Generative A Rye Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Jerod is joined by Carson Gross, the creator of htmx –a small, zero-dependency JavaScript library that he says, “completes HTML as a hypertext”. Carson built it because he’s big on hypermedia, he even wrote a book called Hypermedia Systems. Carson has a lot of strong opinions weakly held that we dive into in this conversation. Join the discussion Changelog++ members save 6 minutes on this episode because they made the ads disappear. Join today! Sponsors: Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Depot – 10x faster builds? Yes please. Build faster. Waste less time. Accelerate Docker image builds, and GitHub Actions workflows. Easily integrate with your existing CI provider and dev workflows to save hours of build time. Outshift by Cisco – AGNTCY is an open source collective building the Internet of Agents. It’s a collaboration layer where AI agents can communicate, discover each other, and work across frameworks. For developers, this means standardized agent discovery tools, seamless protocols for inter-agent communication, and modular components to compose and scale multi-agent workflows. Featuring: Carson Gross – GitHub , X Jerod Santo – GitHub , LinkedIn , Mastodon , X Show Notes: htmx - high power tools for html Why Gumroad Didn’t Choose htmx Codin’ Dirty Vendoring Hypermedia Systems Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Lukas Mathis tells us to stop uploading our data to Google, Robert Vitonsky wants web devs to not guess his language using his IP, Tom from GameTorch reminds us that software talent is gold right now, Austin Parker from Honeycomb describes how LLMs are upending the observability industry, and Vitess co-creator, Sugu Sougoumarane, joins Supabase to lead their Multigres effort to bring Vitess to Postgres. View the newsletter Join the discussion Changelog++ members save 1 minute on this episode because they made the ads disappear. Join today! Sponsors: Fly.io – The home of Changelog.com — Deploy your apps close to your users — global Anycast load-balancing, zero-configuration private networking, hardware isolation, and instant WireGuard VPN connections. Push-button deployments that scale to thousands of instances. Check out the speedrun to get started in minutes. Featuring: Jerod Santo – GitHub , LinkedIn , Mastodon , X…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Justin Searls joins Jerod in Apple’s WWDC wake for hot takes about frosty UIs. We go (almost) point-by-point through the keynote, dissecting and reacting along the way. Concentricity! Join the discussion Changelog++ members save 5 minutes on this episode because they made the ads disappear. Join today! Sponsors: Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Fly.io – The home of Changelog.com — Deploy your apps close to your users — global Anycast load-balancing, zero-configuration private networking, hardware isolation, and instant WireGuard VPN connections. Push-button deployments that scale to thousands of instances. Check out the speedrun to get started in minutes. Featuring: Justin Searls – Website , GitHub , Mastodon , X Jerod Santo – GitHub , LinkedIn , Mastodon , X Show Notes: Apple WWDC 2025 Keynote These 4 Code Snippets won WWDC Apple to Let iPhone Users Watch Videos on CarPlay Screen While Parked Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Jerod chats with Richard Feldman about Roc – his fast, friendly, functional language inspired by Richard’s love of Elm. Roc takes many of Elm’s ideas beyond the frontend and introduces some great ideas of its own. Get ready to learn about static dispatch, platforms vs applications, opportunistic mutation, purity inference, and a whole lot more. Join the discussion Changelog++ members save 6 minutes on this episode because they made the ads disappear. Join today! Sponsors: Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Fly.io – The home of Changelog.com — Deploy your apps close to your users — global Anycast load-balancing, zero-configuration private networking, hardware isolation, and instant WireGuard VPN connections. Push-button deployments that scale to thousands of instances. Check out the speedrun to get started in minutes. Featuring: Richard Feldman – GitHub , X Jerod Santo – GitHub , LinkedIn , Mastodon , X Show Notes: The Roc Programming Language Roc Zulip Chat Software Unscripted Elm Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
Diwank explains why you should never let AI writes your tests, Apple redesigns all of their software platforms, AI has brought about the rise of judgement over technical skills, Peter Steinberger says Claude Code is now his computer, and the curious case of Memvid. View the newsletter Join the discussion Changelog++ members support our work, get closer to the metal, and make the ads disappear. Join today! Sponsors: Fly.io – The home of Changelog.com — Deploy your apps close to your users — global Anycast load-balancing, zero-configuration private networking, hardware isolation, and instant WireGuard VPN connections. Push-button deployments that scale to thousands of instances. Check out the speedrun to get started in minutes. Featuring: Jerod Santo – GitHub , LinkedIn , Mastodon , X…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
The ever-provocative Steve Yegge joins us fresh off a vibe coding bender so productive, he wrote a book on the topic alongside award-winning author Gene Kim. Steve tells us why he believes the IDE is dead, why babysitting AI agents is more fun than coding, when vibe coding might take over the enterprise, how software devs should approach coding agents, and what it all means for society. Join the discussion Changelog++ members save 6 minutes on this episode because they made the ads disappear. Join today! Sponsors: Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Heroku – The Next Generation of Heroku “Fir” is coming soon — Fir is built on a foundation of cloud native technologies and open source standards, ensuring portability, interoperability, and a vibrant ecosystem for your applications. Cloud Native for everyone, for the next decade and beyond. Outshift by Cisco – AGNTCY is an open source collective building the Internet of Agents. It’s a collaboration layer where AI agents can communicate, discover each other, and work across frameworks. For developers, this means standardized agent discovery tools, seamless protocols for inter-agent communication, and modular components to compose and scale multi-agent workflows. Featuring: Steve Yegge – GitHub , LinkedIn , X Jerod Santo – GitHub , LinkedIn , Mastodon , X Adam Stacoviak – Website , GitHub , LinkedIn , Mastodon , X Show Notes: Claude Code Amp OpenAI Codex Revenge of the junior developer Steve’s book Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
We’re on location at Microsoft Build 2025 with Amanda Silver, Corporate Vice President of Microsoft’s Developer Division. Amanda leads product, design, user research, and engineering systems for some of the tools you use every day. We discuss the latest AI announcements from Microsoft at Build 2025, how AI is reshaping development tools, what’s next for VS Code, TypeScript, GitHub’s evolution, and even emerging editors like Windsurf that are forking the VS Code ecosystem. Join the discussion Changelog++ members save 8 minutes on this episode because they made the ads disappear. Join today! Sponsors: Retool – Assemble your elite AI team , arm them with powerful custom tools, and watch them make your to-do list disappear. Start for free or book a demo at retool.com/agents Heroku – The Next Generation of Heroku “Fir” is coming soon — Fir is built on a foundation of cloud native technologies and open source standards, ensuring portability, interoperability, and a vibrant ecosystem for your applications. Cloud Native for everyone, for the next decade and beyond. Outshift by Cisco – AGNTCY is an open source collective building the Internet of Agents. It’s a collaboration layer where AI agents can communicate, discover each other, and work across frameworks. For developers, this means standardized agent discovery tools, seamless protocols for inter-agent communication, and modular components to compose and scale multi-agent workflows. Featuring: Amanda Silver – Adam Stacoviak – Website , GitHub , LinkedIn , Mastodon , X Jerod Santo – GitHub , LinkedIn , Mastodon , X Show Notes: Build 2025 Something missing or broken? PRs welcome!…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
We’re doing a live show in Denver this July, Danilo Alonso has seen the ‘developer replacement’ hype cycle many times, Dan Sinker says we’re in the Who Cares Era, Cap looks like a solid alternative to typical CAPTCHA solutions, Michael Flarup on the return of texture, depth, and expressiveness in UI & Kan is an open source alternative to Trello. View the newsletter Join the discussion Changelog++ members save 1 minute on this episode because they made the ads disappear. Join today! Sponsors: Retool – The low-code platform for developers to build internal tools — Some of the best teams out there trust Retool…Brex, Coinbase, Plaid, Doordash, LegalGenius, Amazon, Allbirds, Peloton, and so many more – the developers at these teams trust Retool as the platform to build their internal tools. Try it free at retool.com/changelog Featuring: Jerod Santo – GitHub , LinkedIn , Mastodon , X…
 
T
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source podcast artworkThe Changelog: Software Development, Open Source podcast artwork
 
We bring you back to Microsoft Build 2025 to nerd out with Craig Loewen on Windows Subsystem for Linux and Mads Torgersen on leading the design of C#. Join the discussion Changelog++ members get a bonus 7 minutes at the end of this episode and zero ads. Join today! Sponsors: Heroku – The Next Generation of Heroku “Fir” is coming soon — Fir is built on a foundation of cloud native technologies and open source standards, ensuring portability, interoperability, and a vibrant ecosystem for your applications. Cloud Native for everyone, for the next decade and beyond. Depot – 10x faster builds? Yes please. Build faster. Waste less time. Accelerate Docker image builds, and GitHub Actions workflows. Easily integrate with your existing CI provider and dev workflows to save hours of build time. Featuring: Craig Loewen – Website , GitHub , LinkedIn , X Mads Torgersen – GitHub , LinkedIn Jerod Santo – GitHub , LinkedIn , Mastodon , X Adam Stacoviak – Website , GitHub , LinkedIn , Mastodon , X Show Notes: The Windows Subsystem for Linux is now open source “Backslashes are Trash” by Mat Ryer on YouTube Something missing or broken? PRs welcome!…
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

icon Daily Deals
icon Daily Deals
icon Daily Deals

Quick Reference Guide

Copyright 2025 | Privacy Policy | Terms of Service | | Copyright
Listen to this show while you explore
Play