| In practice, compilers are likely to display a warning, then assume int and continue translating the program. |
На практике же, компиляторы могли определять неуказание, но также допускали, что это int и продолжали компиляцию программы. |
| We can find an effective enumeration of all the formal proofs in S by some procedure function NthProof(int n) which takes as input n and outputs some proof. |
Рассмотрим программу, реализующую эффективное перечисление всех формальных доказательств в s {\displaystyle \mathbf {s}} function NthProof(int n) принимающую на вход n и выдающую некоторое доказательство. |
| The type F is a function that takes an Int and a String as arguments, and returns a value of type Float. |
Тип F - это функция, которая принимает Int и String как аргументы и возвращает Float как результат. |
| INT 10h is fairly slow, so many programs bypass this BIOS routine and access the display hardware directly. |
Вызов INT 10h довольно медленный, поэтому многие программы получают доступ к видеоадаптеру напрямую, без BIOS. |
| The system has three-tier architecture with remote connection to SAGA- servers (SWS) and also integration to payment system (INT) and content management system (Xitex WebContent-M1 CMS). |
Система имеет трехуровневую архитектуру с удаленным подключением к серверам SAGA (SWS), а также интеграцию с системой электронных платежей (INT) и системой управления контентом веб-сайта (Xitex WebContent-M1 CMS). |