g
тут окамл бы вывел что x и y токо плюсы
Size: a a a
2021 April 14
g
инты
g
а если + перегружен на н типов, то это типы суммы всех этих типов
A
Нет, тут для разных сходных будет разный выходной, типа дженерика, но два разных выходных при одинаковых сходных не может быть
g
а, ну это да
g
выход всегда конеш не сумма
A
По сути в Х-М это просто унификация, и ничего не мешает её делать на int|float как и на дженерик
A
Что вот нету в ниме, так это обратного прохода при унификации как в хаскеле. Но это далеко не везде есть, в расте тоже нету
g
даже не представляю шо це
f
Оно будет использоваться для drnim, Вывод типов через hindley-millner не не планируется ни в каком виде
f
Ну и в общем если честно мне он кажется сомнительным плюсом в любом случае, и общее мнение примерно такое же
A
Не очень понял. В любом случае вывод/проверка типов в ниме есть, иначе это не было бы статикой
f
Ну из тех периодических обсуждений который были когда кто-то про это спрашивал
f
hindley-millner работает в обе стороны - то есть вызов функции например может разрешаться на основе того какой переменной ты присваиваешь
f
В ниме используется то что называется синтезированным выводом типов кажется - есть начальные выражения тип которых известен, и на их основе последовательно вычисляются типы последующих
f
Но все это идет только в одну сторону, то есть вызов функции разрешается только на основе аргументов
f
Ну и понятное дело имени
A
Я может не прав, но мне казалось что обратный проход не обязательно должен быть в х-м
A
Если так, то сорян
A
В общем в любом случае хорошо бы запилил этот обратный проход - в лямбдах типы не надо было бы указывать