Знайдено 10 точних результатів, 40 схожих збігів.
типізо́ваний
- Дієпр. пас. до типізува́ти.
PyReX розширено можливостями статичної типізації типами з мови С і дозволяє вільно змішувати типізований та не типізований код.
Типізований список значень (enum).
LLVM IR строго типізований, тому існують операції приведення типів, які явно кодуються спеціальними інструкціями.
Маска Діда – це типізований образ старого купця, який, незважаючи на вік, лишився ласим до дівчат і чарки.
CLI-мови типу C# і VB.NET надають безпечне щодо типів включаюче посилання, «делегата», щоб визначити жорстко-типізований вказівник на функцію.
Для студентів це була саме навчальна програма, бо алгол суворий, типізований.
Хоча датафреймам бракує перевірки типів на етапі компіляції яка доступна для RDD, починаючи з Spark 2.0, Spark SQL також підтримує строго типізований DataSet.
Вихід із становища напрошувався один: не намагатися реконструювати одну з восьми Січей, а подати Січ в стилізованому, узагальненому вигляді, створити типізований образ козацької столиці.
Можливо, в той час, коли ми починали продукт, уже був типізований Python і варто було його використовувати з самого початку.
У Поемі «Гайдамаки» виступає й неприкрите маскою оповідача авторське«я», що уособлює типізований образ поета-громадянина: у згадках з дитинства поета — про сірітські блукання й розповіді діда про Коліївщину, в звертанні до недолугих крітіків тощо.
В типізованому зображенні, притаманному тим часам, вгадуються і риси Мазепи, й Івана Скоропадського, й Пилипа Орлика.
- зображення (демонстрація) напівоголених, оголених дітей (або таких осіб, що типізовані як діти) в еротичному контексті;
- самоцільна демонстрація (або часткова демонстрація) статевих органів дітьми (або таких осіб, що типізовані як діти);
Метричні книги були типізовані і впродовж багатьох років не змінювали своєї структури та вигляду.
- зображення (демонстрація) будь-яких сексуальних дій з дітьми (або таких осіб, що типізовані як діти) або імітації таких дій;
- зображення (демонстрація) будь-яких сексуальних дій за участю дітей дітьми (або таких осіб, що типізовані як діти) або імітації таких дій;
6) персонажі діють як знеособлені представники статі, не мають характеру й особистості, які замінені статевим темпераментом, зведені до зовнішності та/або грубо типізовані;
Вирішив, що буде класно вивчити цю сувору типізовану мову як першу.
У типізованих мовах ще додаються типи, але зазвичай є примітиви, які є в більшій частині мов: рядки, числа, булеві змінні.
Ця стрічка стоїть на кілька голів вище пересічної голлівудської кінофантастики із її вже завченими напам'ять сюжетними схемами та образами, пристосованими до типізованих гасел на кшталт "бережімо природу" чи "родина над усе".
Ля́мбда-куб (λ-куб) — наочна класифікація восьми типізованих лямбда-числень з явним приписуванням типів (систем, типізованих за Черчем).
Проте, на відміну від вказаних двох, які розроблені для статично типізованих мов як Java чи C#, Parrot розроблено для динамічно типізованих мов програмування.
Статті типізовані, застосована система посилань.
Статтям надано енциклопедичного характеру (вони типізовані, застосована система посилань).
Всі вони виразно типізовані.
Неможливість використання типізованих властивостей породжує величезну кількість тегів або категорій.
Пролог є динамічно типізованою мовою.
декартово замкнені категорії відповідають типізованому лямбда-численню (Ламбек, 1970);
Гаскель є сильно типізованою мовою програмування.
У взаємовідносинах виробляються загальні значення, а взаємодії типізовані.
Такі об'єкти є строго типізованими.
Мова Java є статично типізованою.
Декілька типізованих мов програмування забезпечують явну підтримку верхнього типу.
Звичайні функції можуть отримувати типізовані списки ініціалізації як аргумент, наприклад:
Приклади статично типізованих мов — Ada, С++, Pascal.
Зокрема, типізована комбінаторна логіка відповідає системі Гільберта в теорії доказів.
У національних і історичних стилях індивідуальне начало стає типізованим.
Це робить їх природними категорного моделями типізованого λ-числення.
Семантичні властивості дозволяють називати гіперпосилання між сторінками і прив'язувати до сторінок типізовані дані.
Найвідомішим прикладом використання типів є просто типізоване лямбда-числення Алонзо Черча.
Типізоване λ-числення, розроблене через декілька років, стало фактично повторним відкриттям Automath.
Каррування дозволяє розглядати типи-добутки як вбудовані у типізованому лямбда численні.
Декартово замкнуті категорії є категорною моделлю для типізованого [формула]-числення і комбінаторної логіки.
У статично типізованих мовах обговорюються два різних поняття, що часто плутаються:
На відміну від стандартного Python, RPython є статично типізованим для ефективнішої компіляції.
І «Бранд», і «Пер Гюнт» поєднують живі індивідуалізовані образи з узагальненими, підкреслено типізованими.
Базовою вершиною куба є система [формула], що відповідає просто типізованому лямбда-численню.
Kotlin (Ко́тлін) — статично типізована мова програмування, що працює поверх JVM і розробляється компанією JetBrains.
Неявно типізовані змінні: дане покращення дозволило оголошувати змінні без явного зазначення їх типів.
У динамічно типізованих мовах не вимагається обов'язково вказувати значення оголошеної в коді змінної.