Your theory seems sound. I see this theme of free-flow expressivity vs stricture and formalism in the choice of programming languages. CAD is like rust, where it never fits together the first time and parametric stricture lines the road of progress with infinite caltrops in abdication to correctness; javascript is a sketch book where ideas and mutations happen easily and often, correctness is a beautiful illusion brought through the evolutionary nature of experimentation.