Thus using let as defined above a Scheme implementation would rewrite "(let ((a 1)(b 2)) (+ b a))" as "((lambda (a b) (+ b a)) 1 2)", which reduces implementation's task to that of coding procedure instantiations.
Κατά αυτόν τον τρόπο, χρησιμοποιώντας τη let όπως ορίστηκε παραπάνω σε μια υλοποίηση Scheme θα έγραφε ξανά τον κώδικα "(let ((a 1)(b 2)) (+ b a))" σαν "((lambda (a b) (+ b a)) 1 2)", που μειώνει τις εργασίες της υλοποίησης, χρησιμοποιώντας στιγμιότυπα της κάθε διαδικασίας.