There are plenty of languages which evaluate fragments of your program as part of the checking step. Simple ones are not even that difficult to write. http://w

There are plenty of languages which evaluate fragments of your program as part of the checking step. Simple ones are not even that difficult to write. http://www.andres-loeh.de/LambdaPi/LambdaPi.pdf http://www.andres-loeh.de/LambdaPi/LambdaPi.pdf