Поиск значения / толкования слов

Раздел очень прост в использовании. В предложенное поле достаточно ввести нужное слово, и мы вам выдадим список его значений. Хочется отметить, что наш сайт предоставляет данные из разных источников – энциклопедического, толкового, словообразовательного словарей. Также здесь можно познакомиться с примерами употребления введенного вами слова.

Википедия

Idris

Idris — многозадачная Unix-подобная многопользовательская операционная система реального времени , выпускавшаяся с 1978 по 1988 годы американской компанией Whitesmiths .

Idris (значения)
  • Idris — unix-подобная проприетарная операционная система, выпускавшаяся с 1978 по 1988
  • Idris — язык программирования Haskell-семейства
Idris (язык программирования)

Idris это чисто - функциональный язык программирования общего назначения с haskell -подобным синтаксисом и поддержкой зависимых типов . Система типов подобна системе типов языка Agda .

Язык поддерживает средства сравнимые с Coq , включая поддержку тактик, однако фокусируется не на них, а позиционируется как язык программирования общего назначения . Цели его создания: «достаточная» производительность, простота управления побочными эффектами и средства реализации встраиваемых предметно-ориентированных языков .

По состоянию на 2014 год, Idris компилируется в C -код и использует копирующий сборщик мусора с использованием . Так-же реализованы backendы на JavaScript , Java и, частично, LLVM .

Имя Idris является отсылкой к поющему дракону, персонажу британской детской телепередачи 1970 гг. .