Very true. You need to go to a school that specializes in type theory [1].

[1]: https://cstheory.stackexchange.com/questions/50780/which-uni...

> What? I have never heard of a school teaching the importance of static typing esp when it comes to engineering practices

The blogger is not a really talking about static typing. The blogger is waxing lyrical over designing a domain model and then writing an application around it. You know, what others call basic software architecture.

Wait until the blogger learns of the existence of Domain-Driven design.