| Subject | English | Russian |
| progr. | automatic casts | автоматическое приведение типов (Alex_Odeychuk) |
| progr. | automatic smart cast | автоматическое интеллектуальное приведение типа (в языке программирования Kotlin выполняется в случае, если компилятор точно уверен, что между проверкой на принадлежность к типу и использованием переменной она не поменяет значение Alex_Odeychuk) |