It's funny how it went from "everything needs to be strongly typed" and "even C++ isn't enough we need Rust for everything" to this...
A good chunk of our profession is just hype-followers at this point.
A good chunk of our profession is just hype-followers at this point.
But to be fair, I’m not sure what the average dev/eng is supposed to do against a climate of regular change, many disparate opinionated groups with disparate tech stacks, and, IMO a pretty ~~pure~~ poor engineering culture of actually weighing the value of tech/methods against relevant constraints and trade offs.
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