How do programming languages impact token efficiency and correctness?

Excellent not for results* but for thought process, and bonus appendices for eval process...

* Results useful as they differ from pop theory, but mostly clustered enough you'd pick the language for other reasons.