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

Т

Парадигма	Мультипарадигмальность : объектно-ориентированная , императивная , функциональная , мета.
Семья	Лисп
Разработано	Джонатан А. Рис Норман И. Адамс
Разработчики	Джонатан А. Рис Норман И. Адамс
Впервые появился	1982 год ( 1982 )
Финальный выпуск	3.0 / 1 августа 1984 г ( 1984-08-01 )
Дисциплина набора текста	динамичный , сильный
Платформа	Кросс-платформенный
ТЫ	Кросс-платформенный
Веб-сайт	бормотать .сеть /~банка /tпроект
Под влиянием
Схема
Под влиянием
EuLisp , Джоуль

T — это диалект языка Scheme, программирования разработанный в начале 1980-х годов Джонатаном А. Рисом, Кентом М. Питманом и Норманом И. Адамсом из Йельского университета в качестве эксперимента по разработке и реализации языка.

Обоснование

Цель T — проверить тезис, разработанный Гаем Л. Стилом-младшим и Джеральдом Джеем Сассманом в их серии статей о Scheme: что Scheme может использоваться в качестве основы для практического языка программирования исключительной выразительной силы, и что реализации Scheme может работать лучше, чем другие системы Lisp, и конкурировать с реализациями языков программирования, таких как C и BLISS , которые обычно считаются более эффективными, чем Lisp, на обычных машинных архитектурах. Большая часть этого происходит с помощью оптимизирующего компилятора Orbit.

T содержит некоторые функции, которых нет в современной Scheme. Например, T является объектно-ориентированным и имеет первоклассные среды, называемые локалями , которые можно изменять нелокально и использовать в качестве системы модулей. T имеет несколько дополнительных специальных форм для отложенных вычислений и управления потоком , а также эквивалент в Common Lisp setf . T, как и Scheme, поддерживает вызов с текущим продолжением (call/cc), но он также имеет более ограниченную форму, называемую catch. Из руководства T гипотетическая реализация cons может быть:

 (define-predicate pair?)
 (define-settable-operation (car pair))
 (define-settable-operation (cdr pair))
 (define (cons the-car the-cdr)
         (object nil
                 ((pair? self) t)
                 ((car self) the-car)
                 ((cdr self) the-cdr)
                 (((setter car) self new-car) (set the-car new-car))
                 (((setter cdr) self new-cdr) (set the-cdr new-cdr))))

Этот пример показывает, что объекты в T тесно связаны с замыканиями и передачей сообщений. Примитив под названием join объединяет два объекта, создавая что-то вроде наследования .

Порты

T был портирован на многие аппаратные платформы и операционные системы , в том числе:

• MIPS : 3100 ДЕКАБРЯ (макс.), SGI IRIS.
• Motorola 68000 (m68k): Apollo Domain/OS, HP/UX , Mac/AUX, NeXT , SunOS 3
• NS320xx (n32k): Encore Multimax
• SPARC : SunOS 4 и выше, Solaris , Unix на Connection Machine 5.
• ВАКС : Месть

Внешние ссылки

• Официальный сайт
• История Т , Олин Шиверс
• Руководство T (PDF) от ReadScheme, через Интернет-архив.