types примеры

Примеры

1. Choose "Plug-ins" from the File types list.
   Выберите "Plug-ins" в списке "File types".
2. He was coordinator of the ESPRIT European projects Logical Frameworks, then TYPES, from 1990 to 1995.
   Был координатором ESPRIT Европейских проектов логических фремворков, затем TYPES, с 1990 до 1995.
3. 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.
4. 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, при этом предполагая достаточную степень отказоустойчивости.