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!

Show Notes

For audio, video, and text transcripts: https://lispcast.com/is-the-little-typer-the-static-typing-book-ive-been-waiting-for/

What is The Eric Normand Podcast?

An off-the-cuff stream of Functional Programming ideas, skills, patterns, and news from Functional Programming expert Eric Normand of LispCast. Formerly known as Thoughts on Functional Programming.