Рыцари лямбда-исчисления — Википедия
Рыцари лямбда-исчисления Рыцари лямбда-исчисления Шутливая хакерская культура, основанная на лямбда-исчислении и рыцарях-тамплиерах. Не существует реальной организации с таким названием, но […]
Рыцари лямбда-исчисления Рыцари лямбда-исчисления Шутливая хакерская культура, основанная на лямбда-исчислении и рыцарях-тамплиерах. Не существует реальной организации с таким названием, но […]
Ролевое программирование Основы ролевого программирования Ролевое программирование имитирует человеческое понимание мира в терминах ролей. Роли имеют общие черты и могут
Программирование более высокого порядка Определение программирования высшего порядка Программирование высшего порядка использует функции, модули или объекты в качестве значений. Оно
ISO/IEC 11404 ISO/IEC 11404 — набор типов данных, определенных независимо от языка программирования или реализации. Типы данных можно использовать для
Объемная картография Объемная картография — компьютерная программа для определения местоположения и отображения 2-мерных поверхностей внутри 3-мерного объекта. Рентгеновские лучи позволяют
Индексатор (программирование) Индексаторы в объектно-ориентированном программировании позволяют индексировать экземпляры класса или структуры аналогично массивам. Индексаторы реализуются с помощью методов доступа
Отправка предиката Диспетчеризация предикатов в компьютерном программировании обобщает множественную диспетчеризацию («мультиметоды»). Raku поддерживает диспетчеризацию предикатов с использованием предложений «where», которые