История изменений

это не рекурсивное определение списка. это жопорукое определение вида:

class List<T> {
  List();
  List& cons(T value);
}

Если List заменить на Something - то вообще непонятно что это. Натуральные числа подпадают под этот шаблон. любые классы, что имеют функцию fff(T) тоже ему тождественны.

из «списка» тут только само имя.

это не рекурсивное определение списка. это жопорукое определение вида:

class List<T> {
  List();
  void cons(T value);
}

Если List заменить на Something - то вообще непонятно что это. Натуральные числа подпадают под этот шаблон. любые классы, что имеют функцию fff(T) тоже ему тождественны.

из «списка» тут только само имя.

это не рекурсивное определение списка. это жопорукое определение вида:

class List { List(); void cons(T value); }

Если List заменить на Something - то вообще непонятно что это. Натуральные числа подпадают под этот шаблон. любые классы, что имеют функцию fff(T) тоже ему тождественны.

из «списка» тут только само имя.