DS
наука вышла как отдельное направление философии - материализма.
Так прикол в том, что теперь в философии остались только балаболы, вся рабочая часть философии оказалась в других областях целиком
Size: a a a
2020 June 10
ЕС
если myFunc это генерик вида a -> a, то откуда он должен понять какой тип a ?
Не понял. У него тип myFunc x == 10
ЕС
Так прикол в том, что теперь в философии остались только балаболы, вся рабочая часть философии оказалась в других областях целиком
Какая разница что сейчас?)
AZ
Не понял. У него тип myFunc x == 10
компилятор должен вызывать myFunc x чтобы тайпчекнуть это. Какой тип a в myFunc он должен подставить?
DS
Какая разница что сейчас?)
Потому что мы говорим про сейчас, а не про пару сотен/тысяч лет назад.
ЕС
компилятор должен вызывать myFunc x чтобы тайпчекнуть это. Какой тип a в myFunc он должен подставить?
Любой a
ЕС
Дженерик пробрасывается наверх
AZ
Любой a
компилятор не может вызывать в любым a, ему нужен конкретный
AZ
Дженерик пробрасывается наверх
куда наверх? Функция может быть публичной экспортируемой, у неё нет вызовов, Но тайпчекнуть надо
ЕС
компилятор не может вызывать в любым a, ему нужен конкретный
Это называется "обобщенные параметры", я думаю в этом чате должны об этом знать.
ЕС
Тут тип возвращаемого значения - дженерик с констрйнтом Eq 10
AZ
Тут тип возвращаемого значения - дженерик с констрйнтом Eq 10
а какой констрейнт должен быть у
x: myOtherFunc (myFunc x) 10ЕС
Не могу так сходу понять, какой конкретно тут должен быть констрейнт🤔
ЕС
а какой констрейнт должен быть у
x: myOtherFunc (myFunc x) 10Здесь обобщенный тип myOtherFunc (myFunc x) 10
AZ
Здесь обобщенный тип myOtherFunc (myFunc x) 10
как тайпчекеру понять, совпадает тело функции с сигнатурой или нет?
ЕС
Компилятор на месте вызова функции будет проверять соблюдение этого условия
AZ
Компилятор на месте вызова функции будет проверять соблюдение этого условия
нет вызова функции, она экспортируемая
ЕС
нет вызова функции, она экспортируемая
Значит никаких проблем нет, если не не вызывают)
ЕС
как тайпчекеру понять, совпадает тело функции с сигнатурой или нет?
Как как? Тайпчекнуть)
AZ
Значит никаких проблем нет, если не не вызывают)
ну тело функции мы не тайпчекаем значит ? ведь
(x : Int ** myOtherFunc (myFunc x) 10)и например
(x : Nat ** myOtherFunc (myFunc x) 10)требуют разного тела