Цитаты со словосочетанием «система типов»

Область
поиска
Область
поиска

Неточные совпадения

В конце концов получается система всеобщего, универсального тожества [A. Drews различает (в «Die Religion als Selbstbewusstsein Gottes», 1906) два типа религии: Kausalitätsreligion, к которой он относит религию иудеохристианского типа, и Identitätsreligion108 — религии имманентного типа, как-то: буддизм и измышляемая им самим религия конкретного монизма.
И с этой стороны система Беме по своему философскому типу (хотя и не по построению) близка к пантеистическому монизму Спинозы с его единой в своей нераскрытости субстанцией, проявляющейся в бесчисленных атрибутах и модусах.
Новейшая германская философия также отличается идеалистическим отвержением подлинной телесности, которая понимается лишь как трансцендентальная схема чувственного опыта или его неразложимый остаток; в спиритуалистических же системах философии, типа Лейбница или Лотце, она истолковывается исключительно в терминах духа, как его состояние, т. е. сама по себе тоже объявляется иллюзией.
 

Цитаты из русской классики со словосочетанием «система типов»

Неточные совпадения

Некоторые народные богомудры имели целую гностическую систему, напоминающую Я. Бёме и других мистиков гностического типа.
Русские западники, которым чужд был религиозный тип славянофилов, увлеклись гегелианством, которое было для них столь же тоталитарной системой мысли и жизни, охватывающей решительно все.
Смотреть все цитаты из русской классики со словосочетанием «система типов»

Предложения со словосочетанием «система типов»

Значение словосочетания «система типов»

  • Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически (на стадии компиляции) или динамически (во время выполнения), а также быть комбинацией обоих видов. (Википедия)

    Все значения словосочетания СИСТЕМА ТИПОВ

Афоризмы русских писателей со словом «система»

Отправить комментарий

@
Смотрите также

Значение словосочетания «система типов»

Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически (на стадии компиляции) или динамически (во время выполнения), а также быть комбинацией обоих видов.

Все значения словосочетания «система типов»

Предложения со словосочетанием «система типов»

  • Но команда IPython продолжала работать, и в 2007 году они сделали ещё одну попытку внедрения системы типа ноутбуков.

  • Поэтому мы можем предсказать широкое применение систем типа Statcast в областях, не связанных с профессиональным спортом.

  • Рынки, которые медлят с внедрением передовых систем типа мобильных платежей, в новом мире становятся чем-то аномальным и попросту устаревшим.

  • (все предложения)

Синонимы к словосочетанию «система типов»

Ассоциации к слову «система»

Ассоциации к слову «тип»

Морфология

Правописание

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я