This is admittedly more along the lines of fever-dream thinking, but I've thought more than once how it would be interesting to have a programming language that actually encodes the "Why" as well as the what/how. Complete with type safety, like maybe you'd have to ensure that your various business reasons for encoding a particular function are still true, and otherwise it wouldn't compile.