У нас были переводы Росмэна, Спивак и Махаона. Не то что бы это было необходимое разнообразие. Но если начал переводить имена, становится трудно остановиться.
Идентификаторы не переводятся. Чтобы путаницы не возникало.