| The three axes of the cube correspond to three different augmentations of the simply typed lambda calculus: the addition of dependent types, the addition of polymorphism, and the addition of higher kinded type constructors (functions from types to types, for example). |
Трём осям куба соответствуют три различных дополнения к просто типизированному лямбда-исчислению: дополнение зависимых типов, дополнение полиморфизма и дополнение конструкторов типов высшего порядка. |
| Since higher-order type operators are uncommon in programming languages, in most programming practice, kinds are used to distinguish between data types and the types of constructors which are used to implement parametric polymorphism. |
Из-за того, что ти́повые операторы высших порядков нетипичны для большинства языков программирования, в практике программирования рода́ используются для того, чтобы отличать типы данных от типов конструкторов, используемых для реализации параметрического полиморфизма. |
| METHOD FOR GENETICALLY IDENTIFYING A PERSON ACCORDING TO THE ANALYSIS OF THE SINGLE NUCLEOTIDE POLYMORPHISM OF A HUMAN GENOM BY MEANS OF A OLIGONUCLEOTIDE BIOLOGICAL MICROCHIP (BIOCHIP) |
СПОСОБ ГЕНЕТИЧЕСКОЙ ИДЕНТИФИКАЦИИ ЛИЧНОСТИ НА ОСНОВЕ АНАЛИЗА ОДНОНУКЛЕОТИДНОГО ПОЛИМОРФИЗМА ГЕНОМА ЧЕЛОВЕКА С ИСПОЛЬЗОВАНИЕМ ОЛИГОНУКЛЕОТИДНОГО БИОЛОГИЧЕСКОГО МИКРОЧИПА (БИОЧИПА) |
| For this reason computer scientists sometimes call the use of certain forms of polymorphism generic programming. |
По этой причине некоторые учёные в области информатики иногда называют использование определённых форм полиморфизма «обобщённым программированием». |
| The international 1,000 Genomes Project under way is trying to draw the human genetic polymorphism map which is by far the most detailed and medically applicable. |
В рамках осуществляемого в настоящее время международного проекта "1000 геномов" предпринимается попытка составить карту генетического полиморфизма человека, которая была бы в высшей степени подробной и применимой в медицинских целях. |