Ви́від ти́пів (англ. type inference) — в програмуванні можливість компілятора самому логічно вивести тип значення у виразу. Вперше механізм виведення типів...

вивід Вивід типів Умовивід — в логіці Виведення рівняння Виведення рівняння Нав'є — Стокса Вивід — вид робіт в фізиці чи економіці Ввід/вивід — види...

Ввід/вивід, введення-виведення (англ. I/O, input/output) в інформатиці — взаємодія між обробником інформації (наприклад, комп'ютер) і зовнішнім світом...

Змі́нна ти́пу або ти́пова змі́нна в мовах програмування та теорії типів — змінна, яка може набувати значень із множини типів даних. Ти́пову змінну використовують...

(Perry), Ляуфер (Läufer) і Одерски в середині 1990-х. Вивід типів за відсутності оголошень типів, заданих програмістом, є алгоритмічно нерозв'язною задачею...

ліцензією і є студентським проектом. Мова підтримує наступні можливості: вивід типів, генератори, мультиметоди, опційну качину типізацію, макроси, справжні...

описує вивід типів для лямбда-функцій, які виглядають по-іншому, ніж return expression;. Для того, щоб використовувати автоматичний вивід типу повернення...

Канал вводу-виводу (англ. IOC - input-output channel) — один з базових пристроїв обчислювальної системи (разом з процесором та оперативною пам'яттю), що...

увімкнення конкретного пікселя необхідно подати напругу на електричний вивід рядка та вивід стовпця. На перетині цих двох координат висвітиться крапка. Також...

із зовнішніми колами за допомогою виводів. Найперші інтегральні схеми пакувались в пласкі керамічні корпуси. Такий тип корпусів широко використовується...

також DIL) — тип корпусу мікросхем, електронних модулів і деяких інших електронних компонентів. Має прямокутну форму з двома рядами виводів по довгих сторонах...