If only there were a formalism where the programmer could specify how the values are used before the program is ran. But since there isn't I guess we'll have to

If only there were a formalism where the programmer could specify how the values are used before the program is ran. But since there isn't I guess we'll have to have the runtimes do this.