Результати пошуку

...рівності результату роботи двох довільних програм. Таким чином, [[Система типізації|перевірка типу]] стає [[Алгоритмічно нерозв'язна задача|нерозв'язною задаче == Системи лямбда-куба == ...

...о відрізняється від [[Просто типізоване лямбда-числення|просто типізованої системи]] наявністю механізму [[Квантор загальності|універсальної квантифікації]] н Типи Системи F конструюються із набору [[Змінна типу|змінних типу]] за допомогою операто ...

Сама модель типізації базується на алгоритмі виведення типів виразів, який має як джерело механіз Сам алгоритм виведення типів складається з двох кроків — генерування системи рівнянь і наступне розв'язування цих рівнянь. ...

...значення <code>Single(5.0)</code> призведе до [[Помилка типізації|помилки типізації]], оскільки параметр <code>'a</code> отримав значення «<code>int</code>». ...е як префікс до сигнатури типу явне зв'язування змінної типу. Ранні версії системи Гіндлі&nbsp;— Мілнера дозволяють лише пренексну форму, тобто вимагають, щоб ...

.... Твердження про належність виразу до сорту надбудовується над твердженням типізації, тобто висловлювання <math>A:B:C</math> читається так: ''елемент'' <math>A< ...участі не беруть. Три осі, що виходять з базової вершини, породжують такі системи: ...

Теорія типів тісно пов'язана з [[Система типізації|системами типів]]&nbsp;— особливістю [[Мова програмування|мов програмування * Теорія множин побудована поверх логіки. Вона вимагає окремої системи, подібної [[Логіка першого порядку|логіці першого порядку]]. У теорії типів ...

...}} Це тому, що предикативність разом з іншими обмеженнями робить [[Система типізації|систему типів]] настільки простою, що повне [[Вивід типів|виведення типів]] Деякі системи типів підтримують імпредикативний конструктор функційного типу, навіть якщо ...

...часні [[Браузер|вебоглядачі]] отримали можливість запускати «безпечні» для системи Java-аплети всередині вебсторінок. У грудні 1998&nbsp;р. Sun Microsystems в ...од, пристосований до специфіки конкретної [[операційна система|операційної системи]] і [[Центральний процесор|процесора]]. Зараз віртуальні машини Java існуют ...

...лософія|філософією]] і [[кібернетика|кібернетикою]]) займається створенням системи понять, виявленням загальних [[Закономірність|закономірностей]], що дозволя ...ордж Колоуріс; Жан Доллімор; Тім Кіндберг; Гордон Блер (2011). Розподілені системи: концепції та дизайн (5-е видання). Бостон: Addison-Wesley. ISBN 0-132-1430 ...

...або лінійні наземні, надземні або підземні [[будівельна система|будівельні системи]], що складаються з несучих та в окремих випадках огороджувальних конструкц |Системи зв'язку ...

...я|мова]] [[функційне програмування|функційного програмування]] з [[система типізації|динамічною типізацією]], призначена для розробки програм для різного роду [ ...х, як [[телекомунікація|телекомунікації]], [[Банківська система|банківські системи]], [[електронна комерція]], [[IP-телефонія|комп'ютерна телефонія]] і органі ...