Is The Little Typer the static typing book I’ve been waiting for?

The Eric Normand Podcast - A podcast by Eric Normand

Categories:

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!

Visit the podcast's native language site