| System F thus formalizes the notion of parametric polymorphism in programming languages, and forms a theoretical basis for languages such as Haskell and ML. |
Система F позволяет формализовать концепцию параметрического полиморфизма в языках программирования и служит теоретической основой для таких языков программирования как Haskell и ML. |
| Although the main sequencing phase of the HGP has been completed, studies of DNA variation continued in the International HapMap Project, whose goal was to identify patterns of single-nucleotide polymorphism (SNP) groups (called haplotypes, or "haps"). |
Хотя главная секвенирующая фаза проекта «Геном человека» завершена, исследования изменчивости ДНК продолжаются в международном проекте НарМар, цель которого состоит в идентификации структуры групп однонуклеотидного полиморфизма (SNP) (которые называются гаплотипами). |
| 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). |
Трём осям куба соответствуют три различных дополнения к просто типизированному лямбда-исчислению: дополнение зависимых типов, дополнение полиморфизма и дополнение конструкторов типов высшего порядка. |
| Another issue is the role of inherited genetic factors in shaping attachments: for example one type of polymorphism of the gene coding for the D2 dopamine receptor has been linked to anxious attachment and another in the gene for the 5-HT2A serotonin receptor with avoidant attachment. |
Другой вопрос заключался в том, какова роль наследственных генетических факторов в формировании привязанности: например, один тип полиморфизма гена, кодирующего D2 дофаминовые рецепторы, был связан с тревожным типом привязанности, в то время как в гене 5-НТ2А рецепторов серотонина он связан с избегающим типом. |
| The top type is used as a generic type, more so in languages without parametric polymorphism. |
Высший тип используется как «обобщённый» (generic) тип, в первую очередь в языках без поддержки параметрического полиморфизма. |