Racket (язык программирования)

Racket
Класс языка	рефлективный, функциональный, логический, мета, языково-ориентированный
Появился в	1994
Автор	PLT Inc.
Разработчик	Matthias Felleisen[вд]
Расширение файлов	.rkt, .rktl, .rktd, .plt, .ss или .scm
Выпуск	8.4[1] (9 февраля 2022; 3 года назад (2022-02-09))
Система типов	строгая, статическая
Диалекты	Typed Racket, Lazy Racket, Scribble, FrTime и т. д.
Испытал влияние	Scheme, Eiffel[2]
Повлиял на	Scheme[3]
Лицензия	LGPL
Сайт	racket-lang.org
Платформа	кроссплатформенный

Racket (ранее — PLTScheme) —

Платформа предоставляет пользователю реализацию языка Racket, включая развитую

Матиас Феллайзен^[англ.] основал компанию PLT Inc. в середине 1990-х, первоначально — как исследовательскую группу, а затем — как проект по разраработке и выпуску педагогических материалов для начинающих программистов (лекции, упражнения/проекты, программное обеспечение). В январе 1995 было решено разработать учебную среду программирования на языке Scheme. Мэтью Флэтт^[англ.] собрал MrEd — оригинальную виртуальную машину Racket, используя libscheme, wxWidgets и некоторые другие свободные системы^[16]. В течение последующих лет команда, в которую входили, в частности, Флэтт, Роберт Брюс Финдлер^[англ.], Шрирам Кришнамурти^[англ.], Cormac Flanagan, и многие другие, выпускала среду DrScheme, предназначенную для начинающих программистов-схемеров и исследований в области мягкой типизации (комбинации статической и динамической типизации)^[7]. Основной язык программирования, поддерживавшийся средой, назывался PLT Scheme.

Параллельно с этим команда начала проведение семинаров для учителей средней школы, обучая их разработке программ и функциональному программированию. Полевые испытания с этими учителями и их учениками определили основные направления развития продукта.

DrScheme был дополнен учебными языками, пошаговым алгебраическим вычислителем (англ. algebraic stepper)^[17], прозрачным REPL-циклом, подсистемой печати на основе конструкторов (cons) и множеством других нововведений, которые сделали DrScheme качественным образовательным продуктом. В 2001 году разработчиками языка был написан и опубликован учебник How to Design Programs^[англ.], основанный на их философии обучения программированию.

В первое поколение версий DrScheme были введены средства для «

В следующую крупную ревизию, получившую номер 200, была введена новая модульная система по умолчанию, интегрированная с макросами[18]. В частности, модульная система гарантирует, что вычисления времени выполнения и вычисления времени компиляции разделены для поддержки «башни языков»^[19]. В отличие от юнитов, эти модули не являются объектами первого класса.

В версию 300 введена поддержка

К следующему мажорному релизу DrScheme перешёл на общепринятую систему

Основным новшеством версии 6.0, выпущенной 24 февраля 2014 года стала новая система пакетов, дистрибутив Racket стал модульным, он состоит из более 200 пакетов. Появилась возможность установки Minimal Racket, где эти пакеты не предустановлены. Также была добавлена поддержка JIT-компиляции для архитектуры ARM, значительно улучшено быстродействие Typed Racket и т. д.^[26].

Основные нововведение версии 7.0, выпущенной в конце июля 2018, связаны с подготовкой замены собственной виртуальной машины Racket на Chez Scheme^[27].

С начала 2017 года систему макросов и модулей Racket стали переписывать с целью замены сделанной на языке

#lang racket
"Hello, World!"

#lang racket
(require 2htdp/image)
(let sierpinski ([n 8])
  (if (zero? n)
    (triangle 2 'solid 'red)
    (let ([t (sierpinski (- n 1))])
      (freeze (above t (beside t t))))))

Данная программа, взятая с сайта Racket, нарисует треугольник Серпинского с глубиной вложенности 8.

Пример использования генератора:

#lang racket
(require racket/generator)
(define fib
  (generator
   () (let loop ((x 1)
                 (y 1))
        (yield x)
        (loop y (+ x y)))))

Используя директиву #lang, можно писать программы на альтернативных диалектах Racket’a. Вот пример факториала на Typed Racket, диалекте со статической типизацией:

#lang typed/racket
(: fact (Integer -> Integer))
(define (fact n)
  (cond [(zero? n) 1]
        [else (* n (fact (- n 1)))]))

Режим совместимости со стандартом языка Scheme выбирается директивой #lang R6RS или #lang R5RS, соответственно.

• Matthias Felleisen, Conrad Barski M.D., David Van Horn, Eight Students of Northeastern University. Realm of Racket: Learn to Program, One Game at a Time!. — no starch press, June 2013. — 312 p. — ISBN 978-1-59327-491-7.

• Quick: An Introduction to Racket with Pictures Архивная копия от 30 мая 2013 на Wayback Machine
• Continue: Web Applications in Racket Архивная копия от 3 февраля 2019 на Wayback Machine
• More: Systems Programming with Racket Архивная копия от 3 февраля 2019 на Wayback Machine
• F*dging up a Racket—shows how to write a Brainfuck dialect for Racket
• Raw strings in Racket—a reader extension for raw strings

• How to Program Racket Архивная копия от 20 февраля 2013 на Wayback Machine (work in Progress as of 2011-09-25)

• racket-lang.org — официальный сайт Racket
• Blog Архивная копия от 14 мая 2013 на Wayback Machine
• Code Repository
• PLaneT Архивная копия от 30 мая 2013 на Wayback Machine
• The Racket Guide Архивная копия от 14 мая 2013 на Wayback Machine
• The Racket Reference Архивная копия от 14 мая 2013 на Wayback Machine
• All Racket Documentation Архивная копия от 30 мая 2013 на Wayback Machine