История изменений
Исправление
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 с разрастающимися сигнатурами.
Нет! В структурах же есть рекурсивные типы, вот тут они тоже есть.