
Hence why from C culture point of view they used to be referred to as programming with straightjacket.
An insight into this be read on books like "The School of Niklaus Wirth" or "Building High Integrity Applications with SPARK".
This is a wonderful book, "The School of Niklaus Wirth: The Art of Simplicity"
https://tkurtbond.github.io/posts/2022/07/04/the-school-of-n...
Esp this chapter on the Wirthian way of designing compilers https://www.researchgate.net/publication/221350529_Compiler_...
See also the widely read (on hn), https://prog21.dadgum.com/47.html
Interestingly he was the Martin Oderskey's (Scala etc) PhD advisor.
[0] https://www.amazon.com/School-Niklaus-Wirth-Art-Simplicity/d...