Синтаксис TC

tfun fib (tval int n, tout int* res)
   {
      if (n < 2)
         *res = n;
      else {
         tval int res1;
         tval int res2;
         fib(n - 1, res1);
         fib(n - 2, res2);
         *res = res1 + res2;
      }
   }
Язык TC: "гладкое" расширение языка C -- добавлены новые ключевые слова:
  • tval -- Т-значение
  • tfun -- Т-функция
  • tout -- результат Т-функции
  • tlazy -- атрибут "ленивой" семантики
  • tmemo -- мемоизуемая функция
  • и др.