Episode 47
Is The Little Typer the static typing book I’ve been waiting for?
Dan Friedman’s The Little Typer is coming out in September. I’m very excited about this book. It’s about dependent types, and it claims to “demonstrate the most beautiful aspects”. I can’t wait!
August 30, 201811m 28s
Audio is streamed directly from the publisher (media.transistor.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
For audio, video, and text transcripts: https://lispcast.com/is-the-little-typer-the-static-typing-book-ive-been-waiting-for/