undefined

Tikhon Jelvis

Software engineer and functional programming advocate focused on Haskell and niche programming languages; discusses Haskell's modern usage, type systems, and applications in industry and formal verification on the episode.

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app