>>28
Scheme is dynamically and strictly typed, no? So there must be type checks whenever you do an operation on a variable to make sure the operation is legal for the variable's current value. I'm not a very experienced programmer (or the guy you're asking), but this is my understanding of it.