[jasode]

>all languages share the same flaw; they specify the what and the how, but never the _why_. Until we figure out how to encode the _why_, we will forever be going in circles.

I don't believe encoding the "why" is possible.

The mapping from "why"s to "machine code" is not predefined bijective nor injective.[1] It can't be well-defined enough to make a deterministic compiler. If you restrict the set of "whys" to a very narrow set of "understandable" inputs by the compiler, you've basically re-implemented the specifying of the *"whats" again.

Building ever higher abstractions is tractable because it's what we've been doing for decades: combine several lower-level "whats" into higher-level "whats". But encoding the "whys" seems to be unsolvable. Either that or I'm not understanding what you're communicating.

[1] https://en.wikipedia.org/wiki/Injective_function