История изменений
Исправление MOPKOBKA, (текущая версия) :
Тип Т - это что? И возвращается иногда T, а иногда T(int).
Тип T это «type T = T(int)», если словами, то тип T это функция которая возвращает тип Т и принимает int.
И возвращается иногда T, а иногда T(int).
Это одно и тоже, T определяется как T(int), вот выше T = T(int).
T это функция которая возвращает T и принимает int.
T(int) это функция которая вовзвращает T и принимает int.
Найди отличия.
При честной статической типизации мы должны сгенерировать матрёшку из функций f с разрастающимися сигнатурами.
Нет! В структурах же есть рекурсивные типы, вот тут они тоже есть.
Исходная версия MOPKOBKA, :
Тип Т - это что? И возвращается иногда T, а иногда T(int).
Тип T это «type T = T(int)», если словами, то тип T это функция которая возвращает тип Т и принимает int.
И возвращается иногда T, а иногда T(int).
Это одно и тоже, T определяется как T(int), вот выше T = T(int).
При честной статической типизации мы должны сгенерировать матрёшку из функций f с разрастающимися сигнатурами.
Нет! В структурах же есть рекурсивные типы, вот тут они тоже есть.