Thoughts On Functional Programming Podcast By Eric Normand

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

Informações:

Sinopse

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!