types перевод

• Типы

• album types:    Типы музыкальных альбомов
• buildin types:    build-in typesвстроенные типы (в C++ - все типы, кроме классов) Ant : user definedtypes
• capacitor types:    Электрический конденсатор

Примеры

Choose "Plug-ins" from the File types list.
Выберите "Plug-ins" в списке "File types".

He was coordinator of the ESPRIT European projects Logical Frameworks, then TYPES, from 1990 to 1995.
Был координатором ESPRIT Европейских проектов логических фремворков, затем TYPES, с 1990 до 1995.

In the summer of 1924, Te Ata was featured in McCall’s magazine in its “Types of American Beauty” series.
В 1924 году ей была посвящена отдельная статья в женском журнале McCall’s в серии Types of American Beauty.

First, we wanted a language that enjoys a strong type system where we could easily use tools such as Quickcheck and more elaborate techniques such as Refinement Types while having a reasonable expectation of fault tolerance.
Во-первых, мы хотели язык с мощной системой типов, где мы бы могли с легкостью использовать инструменты вроде QuickCheck и более сложные техники вроде Refinement Types, при этом предполагая достаточную степень отказоустойчивости.