Лисп — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов. Лисп был создан Джоном Маккарти для работ по искусственному интеллекту и до сих пор остаётся одним из основных инструментальных средств в данной области. Применяется он и как средство обычного промышленного программирования, от встроенных скриптов до веб-приложений массового использования, хотя популярным его назвать нельзя.
Scheme [] — функциональный язык программирования, один из трёх наиболее популярных диалектов Лиспа. Создан в середине 1970-х годов исследователями Массачусетского технологического института Гаем Стилом и Джеральдом Сассменом.
Рэ́кет — систематическое вымогательство, обычно принимающее формы организованной преступности с применением угроз, жестокого насилия, взятия заложников.
Продолжение — абстрактное представление состояния программы в определённый момент, которое может быть сохранено и использовано для перехода в это состояние. Продолжения содержат всю информацию, чтобы продолжить выполнения программы с определённой точки; состояние глобальных переменных обычно не сохраняется, однако для функциональных языков это несущественно. Продолжения похожи на goto Бейсика или макросы setjmp и longjmp в Си, так как так же позволяют перейти в любое место программы. Но продолжения, в отличие от goto, позволяют перейти в участок программы только с определённым состоянием, которое должно быть сохранено заранее, в то время, как goto позволяет перейти в участок программы с неинициализированными переменными.
Уче́бный язы́к программи́рования — язык программирования, предназначенный для обучения. В качестве таковых разрабатывались такие языки как BASIC и Паскаль. Из разработанного для обучения языка ABC вырос Python. Популярным языком, разработанным специально для образования является LOGO. Специально для российских школ разработана языковая среда КуМир. Набирает популярность созданный в Массачусетском технологическом институте язык визуального программирования Scratch и тому подобные среды программирования.
V-список — структура данных, разработанная Филом Багвеллом в 2002 году. V-список объединяет в себе быстрый доступ к случайным элементам и быстрое расширение списка. V-список требует только log n дополнительной памяти для хранения указателей, где n — количество элементов в списке. V-список состоит из обычного списка массивов, размеры которых образуют геометрическую прогрессию. Для того, чтобы найти элемент в V-списке, надо знать всего лишь адрес массива, в котором находится искомый элемент и его индекс в этом массиве. В среднем поиск случайного элемента занимает O(1) операций и O(log n) — наихудший случай.
Fortress — черновая спецификация языка программирования, разрабатывавшегося компанией Sun Microsystems. Инициатива спонсировалась Агентством по перспективным оборонным научно-исследовательским разработкам США DARPA в рамках программы организации вычислений HPCS на суперкомпьютерах.
Контрактное программирование — это метод проектирования программного обеспечения. Он предполагает, что проектировщик должен определить формальные, точные и верифицируемые спецификации интерфейсов для компонентов системы. При этом, кроме обычного определения абстрактных типов данных, также используются предусловия, постусловия и инварианты. Данные спецификации называются «контрактами» в соответствии с концептуальной метафорой условий и ответственности в гражданско-правовых договорах.
GNU TeXmacs — платформа для подготовки и редактирования документов со специальными возможностями для учёных. Целью системы является создание унифицированной платформы для редактирования структурированных документов с содержанием различного типа. Ядро для отображения использует высококачественные алгоритмы верстки для того, чтобы пользователь получал профессионально оформленные документы, пригодные для печати или демонстрации с компьютера.
Рэ́кетс — разновидность тенниса. Игра с мячом и ракеткой на корте без сетки со стенами. Игроки посылают мяч в стену так, чтобы он при отскоке попал на сторону площадки соперника. Возник в Англии в XVIII веке.
D-мезоны — мезоны с очарованием 1 и изотопическим спином 1⁄2. Они группируются в мультиплеты по три частицы: дэ-минус-мезон D−, дэ-ноль-мезон D0, дэ-плюс-мезон D+. Причём D− является античастицей для D+.
IEEE P1363 — проект Института инженеров по электротехнике и электронике по стандартизации криптосистем с открытым ключом.
«Рэкет» — американский чёрно-белый немой художественный фильм, криминальная драма режиссёра Льюиса Майлстоуна, вышедшая в 1928 году. В главных ролях задействованы Томас Миган и Мари Прево. Первый фильм, номинировавшийся на премию «Оскар» в категории «Лучший фильм».
Kawa — реализация языка Scheme, диалекта языка Лисп, обеспечивающая тесную интеграцию с java-окружением.
Racket — мультипарадигменный язык программирования общего назначения, принадлежащий семейству Lisp/Scheme. Предоставляет среду языково-ориентированное программирование — одно из предназначений racket — создание, разработка и реализация языков программирования. Язык используется в различных контекстах: как скриптовый язык, как язык общего назначения, в обучении информатике, в научных исследованиях.
Типобезопасность — свойство языка программирования, характеризующее безопасность и надёжность в применении его системы типов.
Chez Scheme — реализация языка Scheme, созданная в 1984 году Кентом Дибвигом. Реализацию отличает как скорость компиляции, так и эффективность результирующего кода.
Гомоикони́чность — свойство некоторых языков программирования, в которых структура программы похожа на его синтаксис, и поэтому внутреннее представление программы можно определить, прочитав текстовую разметку. Если язык гомоиконичен, это означает, что текст программы имеет такую же структуру, как её абстрактное синтаксическое дерево. Это позволяет всему коду на языке быть доступным и обработанным в качестве данных, используя одно и то же представление.
Guix System Distribution — дистрибутив Linux, созданный с менеджером пакетов GNU Guix. Он использует ядро Linux-libre с поддержкой элементов GNU Hurd. 3 февраля 2015 года, дистрибутив был добавлен в список свободных дистрибутивов GNU+Linux Фонда свободного программного обеспечения.
MIT/GNU Scheme — язык программирования, диалект и реализация языка Scheme, разновидности Лиспа. Он может производить нативные двоичные файлы для архитектуры x86. В основном, поддерживает стандарт R7RS. Это свободное и открытое программное обеспечение, выпущенное под GNU General Public License (GPL). Впервые он был выпущен разработчиками из Массачусетского технологического института (MIT) в 1986 году как свободное программное обеспечение еще до появления Фонда свободного программного обеспечения, GNU и GPL. Теперь это часть Проекта GNU.
