4 ms·+1 for that book. It totally changed how I thought about types and their role in programming.by goostavos 7y ago+1 for that book. It totally changed how I thought about types and their role in programming.