| Magik is an object-oriented programming language that supports multiple inheritance and polymorphism, and it is dynamically typed. | Magik - объектно-ориентированный язык программирования, который поддерживает множественное наследование, полиморфизм и динамически типизированный. |
| According to RAPD variability the following parameters were estimated for both species and their hybrids: genetical distances (DN), polymorphism (P95), mean expected heterozygosity (He), gene fixation coefficient (Fst) and the portion of interpopulation differentiation (Gst). | Для обоих видов и их гибридов по RAPD изменчивости рассчитаны генетические дистанции (DN), полиморфизм (P95), средняя ожидаемая гетерозиготность (He), а также коэффициент генных фиксаций (Fst) и доля межпопуляционной дифференциации (Gst). |
| Most Haskell compilers allow arbitrary-rank polymorphism as an extension, but this makes type inference undecidable. | Многие компиляторы Хаскела предоставляют полиморфизм произвольного ранга в качестве расширения, но это делает выведение типов неразрешимым, так что требуется явное провозглашение типов. |
| The most general form of polymorphism is "higher-rank impredicative polymorphism". | Наиболее общей формой полиморфизма является «импредикативный полиморфизм высших рангов». |
| In genetics, rs1799913, also called A779C, is a gene variation-a single nucleotide polymorphism (SNP)- in the TPH1 gene. | Rs1799913, также известный как A779C - однонуклеотидный полиморфизм гена TPH1, кодирующего триптофангидроксилазу. |
| Function overloading should not be confused with forms of polymorphism where the choice is made at runtime, e.g. through virtual functions, instead of statically. | Перегрузку функций не следует путать с формами полиморфизма, где правильный метод выбирается во время выполнения, например, посредством виртуальных функций, а не статически. |
| 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. |
| 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). | Трём осям куба соответствуют три различных дополнения к просто типизированному лямбда-исчислению: дополнение зависимых типов, дополнение полиморфизма и дополнение конструкторов типов высшего порядка. |
| For this reason computer scientists sometimes call the use of certain forms of polymorphism generic programming. | По этой причине некоторые учёные в области информатики иногда называют использование определённых форм полиморфизма «обобщённым программированием». |
| The top type is used as a generic type, more so in languages without parametric polymorphism. | Высший тип используется как «обобщённый» (generic) тип, в первую очередь в языках без поддержки параметрического полиморфизма. |