История изменений
Исправление wandrien, (текущая версия) :
Если в сигнатуру типа входит привязка к переменной, это в какой системе типов такое выразить можно? И как такое будет называться? Не силён в матане^Wматчасти по этому поводу.
Исходная версия wandrien, :
Если в сигнатуру типа входит привязка к переменной, это в какой системе типов такое выразить можно? И как такое будет называться? Не силён к матане^Wматчасти по этому поводу.