Go offline with the Player FM app!
Advanced Memory Management in Vale (with Evan Ovadia)
Manage episode 413031379 series 3476072
Rust changed the discussion around memory management - this week's guest hopes to push that discussion even further.
This week we're joined by Evan Ovadia, creator of the Vale programming language and collector of memory management techniques from far and wide. He takes us through his most important ones, including linear types, generation references and regions, to see what Evan hopes the future of memory management will look like.
If you've been interested in Rust's borrow-check and want more (or want different!) then Evan has some big ideas for you to sink your teeth into.
–
Vale: https://vale.dev/
The Vale Discord: https://discord.com/invite/SNB8yGH
Evan’s Blog: https://verdagon.dev/home
Evan’s 7DRL Entry: https://verdagon.dev/blog/higher-raii-7drl
7DRL: https://7drl.com/
https://verdagon.dev/grimoire/grimoire
What Colour Is Your Function?: https://journal.stuffwithstuff.com/2015/02/01/what-color-is-your-function/
42, the language: https://forty2.is/
Verona Language: https://www.microsoft.com/en-us/research/project/project-verona/
Austral language: https://austral-lang.org/
Surely You’re Joking, Mr Feynman! (book): https://www.goodreads.com/book/show/35167685-surely-you-re-joking-mr-feynman
Evan on Twitter: https://twitter.com/verdagon
Find Evan in the Vale Discord: https://discord.com/invite/SNB8yGH
Kris on Mastodon: http://mastodon.social/@krisajenkins
Kris on LinkedIn: https://www.linkedin.com/in/krisjenkins/
Kris on Twitter: https://twitter.com/krisajenkins
–
#software #programming #podcast #valelang
64 episodes
Manage episode 413031379 series 3476072
Rust changed the discussion around memory management - this week's guest hopes to push that discussion even further.
This week we're joined by Evan Ovadia, creator of the Vale programming language and collector of memory management techniques from far and wide. He takes us through his most important ones, including linear types, generation references and regions, to see what Evan hopes the future of memory management will look like.
If you've been interested in Rust's borrow-check and want more (or want different!) then Evan has some big ideas for you to sink your teeth into.
–
Vale: https://vale.dev/
The Vale Discord: https://discord.com/invite/SNB8yGH
Evan’s Blog: https://verdagon.dev/home
Evan’s 7DRL Entry: https://verdagon.dev/blog/higher-raii-7drl
7DRL: https://7drl.com/
https://verdagon.dev/grimoire/grimoire
What Colour Is Your Function?: https://journal.stuffwithstuff.com/2015/02/01/what-color-is-your-function/
42, the language: https://forty2.is/
Verona Language: https://www.microsoft.com/en-us/research/project/project-verona/
Austral language: https://austral-lang.org/
Surely You’re Joking, Mr Feynman! (book): https://www.goodreads.com/book/show/35167685-surely-you-re-joking-mr-feynman
Evan on Twitter: https://twitter.com/verdagon
Find Evan in the Vale Discord: https://discord.com/invite/SNB8yGH
Kris on Mastodon: http://mastodon.social/@krisajenkins
Kris on LinkedIn: https://www.linkedin.com/in/krisjenkins/
Kris on Twitter: https://twitter.com/krisajenkins
–
#software #programming #podcast #valelang
64 episodes
All episodes
×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.