Що таке ПЕРЕВІРКИ ТИПУ Англійською - Англійська переклад

• type examination
• type verification
• type checking

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

Сертифікат перевірки типу 2018.
Type Verification Certificate 2018.

Сертифікат перевірки типу може мати один чи кілька додатків.
The type examination certificate may have one or more annexes attached.

На Сервісних-гарантійних книжках також повинен бути номер Сертифіката перевірки типу.
The Service Guaranty must also have a Type Verification Certificate number.

Сертифікат перевірки типу, експертизи типу(по ТР України);
Certificate of type checking, examination of the type(on TR of Ukraine);

Інші призначені органи можуть на запит отримати копії сертифікатів перевірки типу та/або додатків до них.
The other notified bodies may obtain a copy of the type examination certificates and/ or additions.

Щороку ми проходимо сертифікацію продукції для підтвердження її високого рівня якості(Декларація про відповідність, Сертифікат перевірки типу).
Every year we go through certification of products to confirm its high level of quality(Declaration of Conformity, type inspection certificate).

Будь-який статичний аналіз програми, такий як алгоритми перевірки типу в фазі семантичного аналізу компілятором, має зв'язок з теорією типів..
Any static program analysis, such as the type checking algorithms in the semantic analysis phase of compiler, has a connection to type theory.

У разі внесення у конструкцію приладу суттєвих змін, наприклад у результаті застосування нових методів технологій виробництва, строк дії сертифіката перевірки типу може бути обмежений двома роками і продовжений на три роки.
In the event of fundamental changes to the design of the instrument, e.g. as a result of the application of new techniques, the validity of EU-type examination certificate may be limited to two years and extended by three years.

Продукція, що випускається фірмою Societa' Cooperativa Bilanciai Campogalliano, Італія, успішно пройшла сертифікацію в Україні на відповідність техрегламентам і отримала сертифікати Перевірки типу терміном дії 10 років.
Products manufactured by the company Societa' Cooperativa Bilanciai Campogalliano, Italy, has successfully passed certification in Ukraine for compliance with technical regulations and received a type-examination certificate for a period of 10 years.

В принципі, контекстна структура може бути описана контекстно-залежною граматикою та автоматично проаналізована такими засобами, як граматика атрибутів, хоча, як правило, цей крок виконується вручну, за допомогою правил розв'язання імен та перевірки типу, і реалізується через таблицю символів який зберігає назви та типи для кожної області застосування.
In principle, contextual structure can be described by a context-sensitive grammar, and automatically analyzed by means such as attribute grammars, though, in general, this step is done manually, via name resolution rules and type checking, and implemented via a symbol table which stores names and types for each scope.

Перевірка типів забезпечує ще один бар'єр проти безглуздих програм.
Type checking provides yet another barrier against nonsensical programs.

State та props компонента, перевірка типів за допомогою propTypes.
Component state and props, type checking using propTypes.

Проблема також посилюється тим, що для таких полів неможливо зробити перевірку типів.
In addition, type verification is impossible for these fields.

Модуль B(перевірка типу).
Module B(type examination);

Перевірка Тип: третя сторона постачальник послуг перевірки..
Verification Type: third-party verification service provider.

Звичайні комп'ютери, як правило, змушували вибирати між швидкістю виконання і хорошою перевіркою типів.
Ordinary computers typically forced you to choose between execution speed and good typechecking.

По мірі зростання вашого додатку, ви зможете піймати багато помилок з перевіркою типів.
As your app grows, you can catch a lot of bugs with typechecking.

Перевантаження функцій часто пов'язане з статично типізованими мовами програмування, які потребують перевірки типів при виклику функцій.
Function overloading is usually associated with statically-typed programming languages that enforce type checking in function calls.

Мова JavaScript схожа на Java, але не забезпечує строгої перевірки типів.
The JavaScript language resembles Java but does not have Java's static typing and strong type checking.

Іншим прикладом може бути суворіша перевірка типів, якщо мова такої не має.
Another example would be to perform strong type checking when the language does not require such.

Деякі викладачі заперечують проти динамічних мов, тому що їм не вистачає часу компіляції перевірки, зокрема перевірки типів.
Some educators object to dynamic languages because they lack compile-time checking, particularly type-checking.

Але, навіть якщо ви ними не користуєтесь, React надає вбудовані можливості перевірки типів.
But even if you don't use those, React has some built-in typechecking abilities.

Це визначення проходить перевірку типів тому, що undefined обчислюється в bottom, яке включено в усі типи, в тому числі і Bool.
This definition type checks because undefined evaluates to bottom, which is a member of any type, including Bool.

Саме це дозволяло виконувати програми так само швидко, як інші комп'ютери виконували свої програми, і при цьому ще й користуватися перевіркою типів.
That's what made it possible to run programs as fast as other computers would run their programs and still get the benefit of typechecking.

Продукції: оцінка відповідності Технічним регламентам України: аналіз документів, перевірка типу, оцінка системи якості, сертифікація відповідності, декларації відповідності, маркування Національним знаком відповідності України;
Production: assessment of conformity to technical regulations in Ukraine: an analysis of the documents, type checking, evaluation of the quality system, certification of conformity, declaration of conformity, marking the national conformity of Ukraine;

Іноді званих просто відмітними типами, їх було введено як необов'язкову можливість(S011) дозволяти наявним атомарним типам розширюватися різним сенсом, створюючи нові типи і таким чином вмикаючи механізм перевірки типів для виявлення деяких логічних помилок як-от випадкового додавання віку до платні.
Sometimes called just distinct types, these were introduced as an optional feature(S011) to allow existing atomic types to be extended with a distinctive meaning to create a new type and thereby enabling the type checking mechanism to detect some logical errors, e.g. accidentally adding an age to a salary.

В цей час можна було зробити комп'ютер, який коштував приблизно стільки ж, скільки інші комп'ютери, не призначені для Ліспа, але він виконував би Лісп набагато швидше, ніж вони, і при цьому з повною перевіркою типів на кожній операції.
At the time, you could make a computer that was about the same price range as other computers that weren't meant for Lisp, except that it would run Lisp much faster than they would, and with full type checking in every operation as well.

Оскільки декларація функцій у K&R C не включає ніякої інформації про аргументи функції, перевірка типу параметрів не виконується, хоча деякі компілятори видають попереджувальне повідомлення, якщо до локальної функції звертаються із неправильним числом аргументів, або якщо багаторазові виклики до зовнішньої функції використовувають різну кількість аргументів.
Since K&R function declarations did not include any information about function arguments, function parameter type checks were not performed, although some compilers would issue a warning message if a local function was called with the wrong number of arguments, or if multiple calls to an external function used different numbers of arguments.

Оскільки декларація функцій у K&R C не включає ніякої інформації про аргументи функції, перевірка типу параметрів не виконується, хоча деякі компілятори видають попереджувальне повідомлення, якщо до локальної функції звертаються із неправильним числом аргументів, або якщо багаторазові виклики до зовнішньої функції використовувають різну кількість аргументів.
The int type specifiers which are commented out could be omitted in K&R C, but are required in later standards. Since K&R function declarations did not include any information about function arguments, function parameter type checks were not performed, although some compilers would issue a warning message if a local function was called with the wrong number of arguments, or if multiple calls to an external function used different numbers or types of arguments.

Для задоволення можливості доступу до архівам зв'язки виконують перевірку типу атрибуту та, у випадку підключення до"Адреси", до значення поміщається адреса зв'язку.
To satisfy the opportunities for accessing to archives links make check of the attribute type, and in the case of connection to the"Address", the address of the link is put into the value.