Comment by rickydroll

Yeah I described trends in software development is like the length of skirts. They both have the same logic behind the changes. But I don't consider type systems to be hype. I think they're frequently poorly implemented with a mathematically illiterate notation but they're so damn useful went done reasonably right

Most of my understanding on type systems comes from taking a course on the calculation of programs from the author of this book.

To be blunt, this course and the understanding this book gave me crystallized why I was unhappy with the current state of software development and it was one more nudge pushing me out of the field. I caution others that reading and understanding this book may change your understanding of the software development world enough that you don't want to be part of it either.

Programming in the 1990s: An Introduction to the Calculation of Programs | Springer Nature Link (formerly SpringerLink) https://share.google/K81ZlVTbfoR2oeYLh