Gradually gradually typing Elixir (Friends)

The Changelog: Software Development, Open Source

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.

Leave us a comment

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 – Twitter, GitHub, Website
• Jerod Santo – Mastodon, Twitter, GitHub, LinkedIn
• Adam Stacoviak – Mastodon, Twitter, GitHub, LinkedIn, Website

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!

Capitole

1. Let's talk! (00:00:00)

2. José's 7th appearance (00:00:38)

https://changelog.com/person/josevalim

3. José's viral types tweet (00:03:12)

https://twitter.com/josevalim/status/1744395345872683471

4. Working in public (00:09:23)

5. Sponsor: Vercel (00:13:49)

https://vercel.com/changelogpod

6. Why this direction? (00:17:16)

7. The knife & the cheese (00:23:01)

8. Dialyzer (00:33:17)

https://www.erlang.org/doc/man/dialyzer.html

9. Sponsor: Read Write Own (00:39:36)

https://readwriteown.com/?utm_source=changelog&utm_medium=practicalai&utm_campaign=changelog

10. José tells us a story (00:40:57)

11. The poor soul with two bosses (00:46:52)

12. 13 years in... (00:50:24)

13. On long-term relevance (00:58:47)

14. Should there be an ElixirGPT? (01:05:07)

15. Evolving with AI (01:12:48)

16. Disruption theory (01:15:36)

17. Applied to Rust (01:19:10)

18. Not en exact fit (01:20:01)

19. Applied to Elixir (01:20:48)

20. Languages & civilizations (01:22:14)

21. Jerod likes Elixir (01:24:05)

22. Adam likes math (01:24:27)

23. Making GPTs good at Elixir (01:25:53)

24. The danger of AI black boxes (01:30:04)

25. José's AI fears (01:33:29)

26. End it on a "high" note? (01:37:18)

27. A little more Doom & gloom (01:37:59)

28. Looking forward to May (01:39:45)

29. Coming up next (01:40:32)