Вы по прежнему не читаете По поводу f(x) = print. Тут есть общее решение - где x это чистый женерик, однако это решение не имеет семантической ценности в данном языке. Пришлось побороться с поиском этих "паразитных" женериков. Потому x и выводится в object
почему он паразитный
Семантически бесполезный
ну смотри вот у нас есть такой код doNothing(a) = a add1(a) = a + 1 y = add1(doNothing(x))
f(a) = a # тут будет T->T g(a) = 'vasa' # тут будет object->string
почему в одном месте у тебя Т, а в другом обжект
Обсуждают сегодня