Oℕ
Size: a a a
2020 September 25
Oℕ
Просто в терминах дотти A | B - это и есть LUB(A, B)
Oℕ
Получается текущий вывод намеренно избегает синтетических лубов при расширении до баунда
AD
Получается текущий вывод намеренно избегает синтетических лубов при расширении до баунда
может накостылить через матчтайпы можно?
Oℕ
в смысле
AD
Ну типа руками мерджить копродукты
Oℕ
если переписывать на дотти можно просто написать, как я написал во втором случае
Oℕ
явно использовать |
VD
а если E =:= E1, то что выведется?
λ
Получается текущий вывод намеренно избегает синтетических лубов при расширении до баунда
А ето не приведет к чересчур широким юнионам?
Oℕ
Oℕ
что проесходет
Oℕ
λ
You better call Oberbski
Oℕ
с явным типом работает
NV
AS
что проесходет
When inferring the result type of a definition (val, var, or def) and the type we are about to infer is a union type, then we replace it by its join.
AS
Надо явно писать.
λ
Ну собственно, я и говорил, чо надо аскриптить везде
AD
Можно сделать тайпоператор который сам мерджит ошибки