Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические […]
Вики
Языки программирования с расширяемым синтаксисом
Вики
ATS (язык программирования)
ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию
Вики
Красный (язык программирования)
Красный (язык программирования) Обзор языка программирования Red Red был разработан для преодоления ограничений Rebol и представлен в 2011 году. Он
Вики
Кольцо (язык программирования)
Ring (язык программирования) Обзор языка программирования Ring Ring — это динамически типизированный язык общего назначения, который может быть встроен в
Вики
Форт (язык программирования)
Forth (язык программирования) Основы Forth Forth — это язык программирования, который был разработан в 1970-х годах и широко используется в
Вики
Расширяемое программирование
Расширяемое программирование История расширяемого программирования Расширяемое программирование — это подход к программированию, который позволяет добавлять новые функции в существующие языки.
Вики
Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические
Вики
Дилан (язык программирования)
Дилан (язык программирования) Обзор языка программирования Dylan Dylan — язык программирования, разработанный Apple Computer и открытый для общественности. Он основан
Вики
Ракетка (язык программирования)
Racket (язык программирования) Обзор Racket Racket — это язык программирования, разработанный MIT и доступный с 2003 года. Он основан на
Вики
Схема (язык программирования)
Схема (язык программирования) История и развитие Scheme Scheme — это функциональный язык программирования, разработанный в 1975 году. Он был создан
Вики
Общий Лисп
Обычная шепелявость Основы программирования на Common Lisp Common Lisp — это язык программирования, который сочетает в себе функциональное и объектно-ориентированное
Вики
Лисп (язык программирования)
Лисп (язык программирования) История и развитие Lisp Lisp был разработан Джоном Маккарти в 1958 году для искусственного интеллекта. Lisp стал