Idris
Idris.
- Idris — Unix-подобная проприетарная операционная система, выпускавшаяся с 1978 по 1988 годы.
- Idris — язык программирования Haskell-семейства.
- Idris (род) — род перепончатокрылых насекомых из семейства Сцелиониды
Idris.
Ко́шки:
BSD — система распространения программного обеспечения в исходных кодах, созданная для обмена опытом между учебными заведениями. Особенностью пакетов ПО BSD была специальная лицензия BSD, которую кратко можно охарактеризовать так: весь исходный код — собственность BSD, все правки — собственность их авторов.
Лук:
Ио, ИО, и. о. и т. п. может означать:
Пе́рец — название ряда различных растений, а также распространённых пряностей, получаемых из их плодов. Также фамилия.
Бык:
Ро́зовые, или Розоцве́тные, или Шипо́вниковые — семейство двудольных раздельнолепестных растений, входящее в порядок Розоцветные (Rosales). Ранее по отношению к этому семейству обычно использовали русское название «Розоцветные», однако теперь это название чаще используют по отношению к порядку Rosales. По современной классификации APG IV по состоянию на июнь 2024 года семейство насчитывает 117 родов и 6 028 ботанических видов.
Идрис — арабское мужское имя.
Обобщённый алгебраический тип да́нных — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа, связанного с ним. Сконструированы под влиянием работ об индуктивных семействах в среде исследователей зависимых типов.
Лу́кас «Люк» Кейдж, настоящее имя при рождении — Карл Лукас, также известен как Силач — персонаж комиксов издательства Marvel.
Верони́ка:
Мо́ра:
QIP (Quiet Internet Pager) — семейство программ и сервисов обмена мгновенными сообщениями.
архерия — русское название биологического таксона, оно может относиться к одному из двух родов:
Гладыш или Гладыши: — различные значения.
Сцелиониды (лат. Scelionidae) — семейство наездников из подотряда стебельчатобрюхих отряда перепончатокрылых. Ранее объединяли с семейством Platygastridae.
Идрисса Акуна «Идрис» Эльба — британский актёр кино и телевидения, наиболее известный по фильмам «28 недель спустя» (2007), «Рок-н-рольщик» (2008), «Мальчики-налётчики» (2010), «Отряд самоубийц: Миссия навылет» (2021), «Прометей» (2012), «Тихоокеанский рубеж» (2013), «Форсаж: Хоббс и Шоу» (2019), тетралогии «Тор».
Виноград — многозначное слово:
Idris — чистый тотальный функциональный язык программирования общего назначения с Haskell-подобным синтаксисом и поддержкой зависимых типов. Система типов подобна системе типов языка Agda.