I feel like there is/should be some kind of programming language design equivalent of this. If you wanted to make programmers basically incapable of writing correct programs, how would you do it?

Here's where I'd share examples and it wouldn't be funny and instead start a flamewar.