Preview Mode Links will not work in preview mode

CoRecursive - Software Engineering Interviews

May 31, 2019

Bob Nystrom is the author of Crafting Interpreters. I speak with Nystrom about building a programming language and an interpreter implementation for it. We talk about parsing, the difference between compiler and interpreters and a lot more.

If you are wondering why many languages have hand-rolled parser implementations...

May 15, 2019

Formal verification and type systems - how do they relate? Niki Vazou is on a mission to bring better formal verification to the masses.

I have done a couple of episodes about dependent types and my feeling is that dependent types are super powerful and have some conceptual simplicity ( Types are a first-class concept )...