لغة البرمجة T هي لهجة من لغة Scheme تم تطويرها في أوائل الثمانينيات من قبل جوناثان أ. ريس، كنت إم. بيتمان، ونورمان آي. آدمز من جامعة ييل كتجربة في تصميم اللغة وتنفيذها. تهدف T إلى اختبار الأطروحة التي وضعها ستيل وسوسمان في سلسلة من الأوراق حول Scheme: أن Scheme يمكن استخدامه كأساس للغة برمجة عملية ذات قوة تعبيرية استثنائية، وأن تنفيذات Scheme يمكن أن تكون أداءً أفضل من أنظمة Lisp الأخرى، وتنافسياً مع تنفيذات لغات برمجة أخرى، مثل C و BLISS، التي عادة ما تُعتبر أكثر كفاءة من Lisp على هندسة الآلات التقليدية.
تحتوي T على بعض الميزات التي لا تحتوي عليها Scheme الحديثة. على سبيل المثال، T هي موجهة نحو الكائنات (Object-oriented)، ولديها بيئات من الدرجة الأولى، تُسمى “locales”، التي يمكن تعديلها بشكل غير محلي واستخدامها كنظام وحدات. تحتوي T على عدة أشكال خاصة إضافية للتقييم الكسول والتحكم في التدفق، فضلاً عن ما يعادل لـ setf في Common Lisp. تدعم T، مثل Scheme، استدعاء مع التواصل الحالي، ولكن لديها أيضًا شكل محدود أكثر يُسمى catch.
من الدليل الخاص بـ T، يمكن أن يكون تنفيذ مفترض لـ cons كالتالي: من خلال هذا المثال، يمكننا رؤية أن الكائنات في T مرتبطة بشكل وثيق بالإغلاقات وإرسال الرسائل. الأمر الأساسي يُسمى join يجمع كائنين معًا، مما يتيح شيئًا يشبه الوراثة.
توفر T مجموعة واسعة من الميزات المبتكرة التي تجعلها مميزة بالنسبة للمطورين. يمكن العثور على معلومات إضافية حول T وتاريخها وميزاتها في صفحتها على ويكيبيديا: لغة البرمجة T على ويكيبيديا.