Язы́к программи́рования — формальный язык, предназначенный для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель под её управлением.
Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически или динамически, а также быть комбинацией обоих видов.
Форт — один из первых конкатенативных языков программирования, в котором программы записываются последовательностью лексем. Математические выражения представляются постфиксной записью при использовании стековой нотации. Поддерживает механизмы метарасширения семантики и синтаксиса языка для адаптации к нужной предметной области. Синтаксис базового уровня в Форте прост и состоит из единственного правила: «все определения разделяются пробелами». Определения Форта могут иметь любое сочетание символов.
Э́дсгер Ви́бе Де́йкстра (нидерл. Edsger Wybe Dijkstra — нидерландский учёный, труды которого оказали влияние на развитие информатики и информационных технологий; один из разработчиков концепции структурного программирования, исследователь формальной верификации и распределённых вычислений. Тьюринговский лауреат.
Антипаттерн — это распространённый подход к решению класса часто встречающихся проблем, являющийся неэффективным, рискованным или непродуктивным. В отличие от шаблона проектирования, рассмотрение антипаттерна включает в себя как неправильное решение проблемы с его признаками и последствиями, так и выход из ситуации.
Уче́бный язы́к программи́рования — язык программирования, предназначенный для обучения. В качестве таковых разрабатывались такие языки как BASIC и Паскаль. Из разработанного для обучения языка ABC вырос Python. Популярным языком, разработанным специально для образования является LOGO. Специально для российских школ разработана языковая среда КуМир. Набирает популярность созданный в Массачусетском технологическом институте язык визуального программирования Scratch и тому подобные среды программирования.
Обобщённый алгебраический тип да́нных — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа, связанного с ним. Сконструированы под влиянием работ об индуктивных семействах в среде исследователей зависимых типов.
Ли́нгва фра́нка — язык или диалект, систематически используемый для коммуникации между людьми, родными языками которых являются другие.
Преобразователи предикатов — расширение логики Флойда-Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка программирования соответствует преобразователь предиката, т. е. полное функциональное соответствие между двумя предикатами в пространстве состояний программы.
Таксономия (Классификация) Флинна — общая классификация архитектур ЭВМ по признакам наличия параллелизма в потоках команд и данных. Была предложена Майклом Флинном в 1966 году и расширена в 1972 году.
Rio Grande Blood — десятый студийный альбом индастриал-метал-группы Ministry, выпущенный в 2006 году. Это их первый релиз на 13th Planet Records и Megaforce Records. Диск является второй частью антибушевской трилогии; предыдущая в 2004 году «Houses of the Molé», следующая 2007 года «The Last Sucker». Название альбома является пародией на альбом Rio Grande Mud (1972) группы ZZ Top.
Предметно-ориентированное проектирование — набор принципов и схем, направленных на создание оптимальных систем объектов. Сводится к созданию программных абстракций, которые называются моделями предметных областей. В эти модели входит бизнес-логика, устанавливающая связь между реальными условиями области применения продукта и кодом.
Технический долг — это метафора программной инженерии, обозначающая накопленные в программном коде или архитектуре проблемы, связанные с пренебрежением к качеству при разработке программного обеспечения и вызывающие дополнительные затраты труда в будущем. Технический долг обычно незаметен для конечных пользователей продукта, а связан с недостатками в сопровождаемости, тестируемости, понятности, модифицируемости, переносимости. По аналогии с финансовым долгом, технический долг может обрастать «процентами» — усложнением продолжения разработки, дополнительным временем, которое разработчики потратят на изменение программного продукта, исправление ошибок, сопровождение и т. п. Хотя увеличение технического долга как правило негативно влияет на будущее проекта, оно может быть и сознательным, компромиссным решением, продиктованным сложившимися обстоятельствами.
Типобезопасность — свойство языка программирования, характеризующее безопасность и надёжность в применении его системы типов.
Геометрические закономерности в природе проявляются в виде повторяющихся форм и их сочетаний (паттернов). Они проявляются в различных природных объектах и явлениях, а иногда могут быть описаны при помощи математических моделей. Повторяющиеся элементы в природе принимают различные формы и проявляются в симметрии, деревьях, спиралях, изгибах рек, волнах, пене, геометрических узорах, трещинах, полосках и т. д. Уже первые древнегреческие философы, такие как Платон, Пифагор и Эмпедокл, изучали такие закономерности, пытаясь объяснить порядок в природе. Однако потребовались века, чтобы прийти к современному пониманию видимых закономерностей повторений.
Ральф Леммель — немецкий учёный, профессор Университета Кобленц-Ландау, декан факультета информатики. Входит в список самых плодовитых авторов научных статей по версии DBLP как имеющий более 160 опубликованных работ. Индекс Хирша — 39.
WikiRank — онлайн-сервис для автоматической относительной оценки и сравнения статей в различных языковых версиях Википедии. Разработан белорусскими и польскими исследователями в 2015 году.
Управление памятью на основе регионов — способ управления памятью, при котором каждый создаваемый в памяти объект приписывается к определённому «региону».
Гилад Браха — программист и учёный. Известен как создатель языка программирования Newspeak. Награждён премией Даля — Нюгора.
Джеймс Нобл — новозеландский программист и учёный. Лауреат премии Даля — Нюгора.