Übersetzung für 'типов' von Russisch nach Deutsch

подразделять на несколько типов {verb}

in mehrere Typen gliedern

• "Класс типов" реализует единую независимую таблицу виртуальных методов для множества (универсально квантифицированных) типов.
• В основе строгой и статической системы типов языка лежит лямбда-исчисление, к которому добавлена строгая типизация.
• В 1920-х Чвистек и Рамси предложили неразветвлённую теорию типов, ныне известную как «Теория простых типов» или Простая теория типов (...), которая сворачивает иерархию типов, устраняя необходимость в аксиоме редуцируемости.
• Категории подразделяются на классы типов, группы типов и типы охотничьих угодий.
• Расширение безопасной полиморфной системы типов классами и родами типов сделало Haskell первым типизированным в полной мере языком.

• Производился ремонт 11 типов самолетов и 18 типов военных/гражданских авиадвигателей.
• Под интертипными отношениями понимаются особенности информационных взаимодействий между представителями соционических типов.
• функциональный язык программирования общего назначения с Haskell-подобным синтаксисом и поддержкой зависимых типов [...].
• Параметрический полиморфизм в языках программирования и теории типов — свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов [...].