Discover the future of software from the people making it happen.Listen to some of the smartest developers we know talk about what they're working on, how they're trying to move the industry forward, and what you can learn from it. You might find the solution to your next architectural headache, pick up a new programming language, or just hear some good war stories from the frontline of technology.Join your host Kris Jenkins as we try to figure out what tomorrow's computing will look like the best way we know how - by listening directly to the developers' voices.
Advanced Memory Management in Vale (with Evan Ovadia)
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