Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически или динамически, а также быть комбинацией обоих видов.
Полиморфизм в языках программирования и теории типов — способность функции обрабатывать данные разных типов.
Icon — язык программирования, унаследовавший идеологию более раннего языка того же автора Снобол. Название языка не имеет ничего общего с «иконками», а является сокращением от слова англ. iconoclastic (иконоборческий), используемом в смысле борьбы с конформизмом в разработке языков программирования.
Снобо́л — язык программирования высокого уровня, разработанный в 1962—1967 годах и предназначенный преимущественно для обработки текстовых данных.
Предметно-ориентированный язык — компьютерный язык, специализированный для конкретной области применения. Построение такого языка и/или его структура данных отражают специфику решаемых с его помощью задач. Является ключевым понятием языково-ориентированного программирования.
Да́на Стю́арт Скотт — американский математик, известный работами в области математической логики и информатики.
Factor — это динамически типизированный конкатенативный язык программирования, чья разработка и реализация ведётся Славой Пестовым. Основное влияние на язык Factor оказали языки программирования Joy, Forth, Lisp и Self.
Святослав «Слава» Пестов — создатель языка программирования Factor и популярного редактора для программистов jEdit.
— интерпретатор языка программирования Python. PyPy в начале своего существования был интерпретатором Python, написанным на Python. Текущие версии PyPy транслируются из RPython в Си и компилируются. В PyPy встроен трассирующий JIT-компилятор, который может превращать код на Python в машинный код во время выполнения программы.
Cat — функциональный стековый язык программирования вдохновлен языком программирования Joy, от которого он отличается тем, что обеспечивает статическую типизацию с выводом типов. Это один из подходов к решению проблемы надёжности, существующей в стековых языках Так же включает макроязык MetaCat, позволяющий расширение языка Cat путём переопределения термов.
Seed7 — язык программирования общего назначения.
Клу — объектно-ориентированный язык программирования, одним из первых реализовавший концепцию абстрактных типов данных и парадигму обобщённого программирования. Создан группой учёных Массачусетского технологического института под руководством Барбары Лисков в 1974 году, широкого применения в практике не нашёл, однако многие его элементы использованы при создании таких языков, как Ада, C++, Java, Sather, Python, C#.
Клаллам — один из салишских языков, относится к группе стрейтс центрально-салишской ветви. Использовался индейцами народа клаллам на берегах пролива Хуан-де-Фука. В 2014 году умер последний человек, для которого клаллам был родным. Предпринимаются усилия для возрождения языка клаллам: выпущен 1008-страничный словарь (2012), составленный лингвистом Тимоти Монтлером, язык преподаётся в Высшей школе Порт-Анджелеса.
Nim — язык программирования со статической типизацией, поддерживающий процедурный, объектно-ориентированный, функциональный и обобщённый стили программирования.
Параметрический полиморфизм в языках программирования и теории типов — свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.
Леонид Андреевич Калиниченко — советский и российский учёный в области автоматизации и информатики, доктор физико-математических наук, профессор кафедры автоматизации систем вычислительных комплексов ВМК МГУ, лауреат Государственной премии СССР в области науки и техники, заслуженный деятель науки Российской Федерации. Заведовал лабораторией композиционных методов проектирования информационных систем ИПИ РАН.
Гомоикони́чность — свойство некоторых языков программирования, в которых структура программы похожа на его синтаксис, и поэтому внутреннее представление программы можно определить, прочитав текстовую разметку. Если язык гомоиконичен, это означает, что текст программы имеет такую же структуру, как её абстрактное синтаксическое дерево. Это позволяет всему коду на языке быть доступным и обработанным в качестве данных, используя одно и то же представление.
F * — функциональный язык программирования, основанный на ML и ориентированный на формальную верификацию разрабатываемых на нём программ.
Гилад Браха — программист и учёный. Известен как создатель языка программирования Newspeak. Награждён премией Даля — Нюгора.
Диаграмма паука — способ визуализации логических утверждений. Диаграмма паука может рассматриваться как расширение диаграмм Эйлера или диаграмм Венна. Также диаграмма Паука используется как расширение диаграмм Пирса.
