>>26
Wait, so if you had a program that read in a bunch of numbers from a file and then did some calculations with them and you had 2 programs:
1. written in C
2. written in Scheme and then compiled to C
There would be be a bunch of type checks in the executable for program 2 that weren't in program 1?