This comment is reminiscent of the critical receival of Wikipedia. I spend most of my academic years studying type systems. Unless you work on space crafts or

This comment is reminiscent of the critical receival of Wikipedia. I spend most of my academic years studying type systems. Unless you work on space crafts or blockchain tech, that level of security is not needed. Modern typesystems is about DX rather than assuring correctness. It is easy to be pessimistic on new technology. Sometimes it is merited. Oftentimes it is noise and needless rant.