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!