Полный англо-русский словарь
Статический контроль типов (до начала выполнения программы, на основе только исходного текста))