typechecking примеры

• Ordinary computers typically forced you to choose between execution speed and good typechecking.
  Обычные компьютеры, как правило, вынуждали выбирать между скоростью выполнения и хорошей проверкой типов.
• That's what made it possible to run programs as fast as other computers would run their programs and still get the benefit of typechecking.
  Именно это позволяло выполнять программы так же быстро, как другие компьютеры выполняли свои программы, и при этом еще и пользоваться проверкой типов.
• The Lisp machine was able to execute instructions about as fast as those other machines, but each instruction — a car instruction would do data typechecking — so when you tried to get the car of a number in a compiled program, it would give you an immediate error.
  Машина-Лисп была в состоянии выполнять команды почти так же быстро, как те другие машины, но каждая команда... команда car выполняла проверку типов— так что когда вы пытались взять car от числа в скомпилированной программе, это немедленно давало ошибку.