A viewpoint that complex systems that need to be modeled into code can all be reduced to a formal (mathematical) construct of a programming type system.

I contend that the majority of complex software systems are not transformative processes that can be so easily modeled. This majority is not problems in the computer or data sciences, or those of computing infrastructure or services.

Modeling for example, a complex payroll system or large airline reservation system, cannot be effectively represented that way. Enterprises tried doing so for a decade of “structured analysis” i.e. a dataflow approach. Were no lessons learned from that?