| Subject | English | Russian |
| progr. | dynamic type test | динамическая проверка типа (с использованием информации, доступной во время выполнения программного кода Alex_Odeychuk) |
| progr. | dynamic type test in the pattern match | динамическая проверка типа в операторе сопоставления с образцом (the ~ Alex_Odeychuk) |