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

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

Обоснование [ править ]

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

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

 ( пара определения-предиката  ? )  ( определение-устанавливаемая-операция  ( пара автомобилей )) ( определение-устанавливаемая-операция ( пара cdr )) ( определение ( cons the-car the-cdr ) ( объект nil (( пара? self ) t ) (( автомобиль самостоятельно ) автомобиля ) (( корд самостоятельно ) -корд ) ((( сеттер автомобиль ) самостоятельно                new-car )  ( set  -car  new-car ))  ((( setter  cdr )  self  new-cdr )  ( set  the-cdr  new-cdr ))))

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

Хронология диалектов Лиспа ( править )
1955 г.1960 г.1965 г.1970 г.1975 г.1980 г.1985 г.1990 г.1995 г.2000 г.2005 г.2010 г.2015 г.2020 г.
 LISP 1, 1.5, LISP 2 (заброшен)
 Маклисп
 Интерлисп
 Лисп-машина Лисп
 Схема R5RS R6RS R7RS маленький
 Ноль
 Ференц Лисп
 Common Lisp
 Le Lisp
 Т
 Chez Scheme
 Emacs Lisp
 AutoLISP
 ПикоЛисп
 EuLisp
 ISLISP
 OpenLisp
 Схема PLT Ракетка
 GNU Guile
 Визуальный LISP
 Clojure
 Дуга
 LFE
 Hy

Порты [ править ]

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

  • MIPS : 3100 декабря (pmax), SGI IRIS
  • Motorola 68000 (m68k): Apollo Domain / OS, HP / UX , Mac / AUX, NeXT , SunOS 3
  • NS320xx (n32k): Encore Multimax
  • SPARC : SunOS 4 и выше, Solaris , Unix на соединительной машине 5
  • VAX : Ultrix

См. Также [ править ]

Ссылки [ править ]

  1. ^ Слэйд, Стивен (1987). Язык программирования T: диалект LISP . Энглвуд Клиффс, Нью-Джерси: Прентис-Холл. ISBN 978-0-13-881905-7. OCLC  16094677 .
  2. ^ Кэмпбелл, Тейлор `Riastradh» (7 апреля 2006). «Проект Возрождения Т» . Mumble.net . Интернет-архив Wayback Machine. Архивировано 03 января 2007 года . Проверено 18 ноября 2018 .

Внешние ссылки [ править ]

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