Що таке ТИПІЗАЦІЇ Англійською - Англійська переклад

• typing
• type
• typification

Приклади вживання Типізації Українська мовою та їх переклад на Англійською

Система типізації динамічна/статична.
Type system dynamic/static.

Хуки були спроектовані з урахуванням статичної типізації.
Hooks were designed with static typing in mind.

Під час типізації ДНК досліджують кілька маркерів, що називаються локусами.
During DNA typing, several markers are examined, termed loci.

X Ножична структура ключ відчутний, швидка реакція типізації, почуватися добре.
X Scissor structure, key sensitive, fast typing reaction, feel good.

Ця інформація корисна не лише для безпечної типізації, а й для розуміння прологових програм.
Type information is useful not only for type safety but also for reasoning about Prolog programs.

Розроблено принципи типізації природних осередків хвороб людини(туляремії, чуми та інших інфекцій).
The principles typing natural foci diseases of humans(tularaemia, plague and other infections).

Кілька років тому я познайомився з системою типізації особистості Enneagram.
Some time ago my wife introduced me to the Enneagram personality typing system.

Одна з перших спроб типізації цих моделей була зроблена канадським політологом С. Макферсоном.
One of the first attempts typification of these models was made by Canadian political scientist S. McPherson.

Насамкінець скажу, що не лише динамічний характер типізації збільшує витрати на підтримання великого коду.
In conclusion, it is not merely the dynamic nature of typing that increases the cost of maintaining a large codebase.

Головним способом типізації стає поєднання і гіперболізація полярних якостей особистості.
The main way of typing is the connection and hyperbolization of the polar properties of the personality.

Тут ви можете знайти було Holm(і) дефібрилятор доступний по типізації“anundgård” в поле пошуку сайт Hjärtstartarregistrets.
Here you can search was Holm(and other) defibrillator available by typing“Anund yard” in the search field Hjärtstartarregistrets website.

У динамічній типізації, значення мають типи, а змінні- ні, тому змінна може містити значення будь-якого типу.
In dynamic typing values have types, but variables do not; that is, a variable can refer to a value of any type.

Найбільш помітною зміною є те, що XPath 2. 0 побудована на основі XQuery and XPath Data Model, що має значно багатшу систему типізації.
The most notable change is that XPath 2.0 is built around the XQuery and XPath Data Model(XDM) that has a much richer type system.

Все це обумовлює необхідність типізації теоретичних моделей демократії, які в свою чергу випливали б з реальної практики політичного розвитку.
All this necessitates Typing theoretical models of democracy, which in turn resulted in a real practice of political development.

Навпаки, ми вважаємо, що він доповнює їх, дозволяючи PHP-розробникам спробувати свої сили в написанні компілювального коду та статичній типізації.
Instead, we think it is a complement to them, allowing PHP developers to venture into code compilation and static typing.

Підготовка конференц-графіка робить попередні домовленості зустрічі порядку реєструють типізації подачу і розподіл протоколів засідань.
Prepare meeting schedules making prior arrangements meeting agendas registering typing filing and distribution of the minutes of meetings.

Єдиний серйозний аргумент, який я чую проти суворої статичної типізації: вона може відкинути деякі програми, які семантично правильні.
The only serious argument I hear against strong static type checking is that it might eliminate some programs that are semantically correct.

Тому як, з точки зору типізації C, а особливо C++, синтаксично“просто адрес” или“деяких адрес” не існує взагалі(хіба що за винятком void*).
Because, in terms of typing C, especially C++, syntactically“simply addresses” or“some addresses” in general there is no(except that except void*).

З твердим розумінням програмування і дизайну набагато легше зрозуміти такі поняття, як статичної типізації, видимість, дженериків та поліморфізм.
With a solid grasp of programming and design it is much easier to understand concepts such as static typing, visibility, generics and polymorphism.

Документування- у виразніших системах типізації, типи даних можуть служити як вид документації, оскільки вони можуть описувати наміри розробника.
Documentation- In more expressive type systems, types can serve as a form of documentation, since they can illustrate the intent of the programmer.

Принципи типізації та диференціації навчального закладу за профілем і кількістю студентів отримали подальший розвиток у 2-й половині 1950-1970-х рр.
The principles of standardizing and differentiating educational buildings by type and number of students were further developed between the second half of the 1950's and the 1970's.

Zephir не був створений для заміни PHP або C. Навпаки, ми вважаємо, що він доповнює їх, дозволяючи PHP-розробникам спробувати свої сили в написанні компілювального коду та статичній типізації.
Zephir wasn't created to replace PHP or C, but as a complement to them, allowing developers to venture into code compilation and static typing.

Тому як, з точки зору типізації C, а особливо C++, синтаксично"просто адрес" або"деяких адрес" не існує взагалі(хіба що за винятком void*). Всі покажчики типізовані….
Because, in terms of typing C, especially C++, syntactically"simply addresses" or"certain addresses" does not exist at all(except that except void*). All typed pointers….

В статті розглядається розробка узагальненої моделі типізації інтегрованого виробництва, яка враховує різні способи його організації, різні складові та властивості окремих компонентів.
The article considers the development of generic type-dehendent model for integral manufacturing, which analyses the different ways of its organization, different continuants and properties of components.

Проведено загальну типізації виробничих територій Києва за функціональними особливостями та спеціалізацією промислового виробництва, визначено рівень їх деіндустріалізації.
Kiev industrial territories types according to the functional features and specialisation of industrial production have been carried out, the level of their deindustrialisation has been determined.

Java забезпечує дотримання орієнтації об'єкта, перевірка виключень і суворої типізації- все це(можливо) хороші речі- вони роблять це простіше для групи програмістів робастний створення великих систем.
Java enforces Object Orientation, exception checking and strict typing- these are all(arguably) good things- they make it easier for a group of programmers to robustly create large systems.

Розроблено новітні методи інтеграції просторової і атрибутивної інформації на основі конверсії таксономій, онтології задачі вибору та типізації онтологічних моделей на основі застосування безтипових λ-виразів.
The modern methods of spatial and attribute information integration based on taxonomies conversion, the selection task ontology and ontological models typification based on typeless λ-expressions usage were designed.

Особливі аспекти дизайну Julia включають систему типізації з параметричним поліморфізмом та типи в повністю динамічній мові програмування та множинній диспетчеризації як основній парадигмі програмування.
Distinctive aspects of Julia's design include a type system with parametric polymorphism and types in a fully dynamic programming language and multiple dispatch as its core programming paradigm.

Ландшафтна приуроченість історично сформованих біоценозів природного очаговости дозволяє(на підставі розроблених принципів типізації природних осередків хвороб людини) робити прогнози про можливу наявність на певній місцевості тієї або іншої інфекції.
Landscape preferences historically biocenosis of natural focality of permits(on the basis of the developed principles typing natural foci diseases person) to make predictions about the possible existence in a specific area of one or another infection.

Наприклад: Формальна семантика дає можливість математичних доказів коректності програми; Формальна семантика полегшує розробку система типізації, і докази про надійність цих систем типу; Формальна семантика може встановлювати однозначні і єдині стандарти для реалізації мови.
For example: Formal semantics enable mathematical proofs of program correctness; Formal semantics facilitate the design of type systems, and proofs about the soundness of those type systems; Formal semantics can establish unambiguous and uniform standards for implementations of a language.