YS
Можно
Proxy и сделать вместоfoo :: MyClass a b => Proxy b -> a -> BarВот так:
foo :: MyClass a b => a -> Bar?Чтоб просто нужно было тип явно указывать при вызове, а не проксями бросаться
Size: a a a
2021 February 03
JS
Товарищи, а можно ли как-то обойтись без
Вот так:
Чтоб просто нужно было тип явно указывать при вызове, а не проксями бросаться
Вот так:
Чтоб просто нужно было тип явно указывать при вызове, а не проксями бросаться
да, AAT + TA
MK
Атата
JS
Товарищи, а можно ли как-то обойтись без
Вот так:
Чтоб просто нужно было тип явно указывать при вызове, а не проксями бросаться
Proxy и сделать вместоfoo :: MyClass a b => Proxy b -> a -> BarВот так:
foo :: MyClass a b => a -> Bar?Чтоб просто нужно было тип явно указывать при вызове, а не проксями бросаться
пиши forall a b. в сигнатуре и дальше по подсказкам компилятора
JS
да, AAT + TA
Allow ambiguous types
ЖК
А их можно как-нибудь локально разрешать, чтоб оно на весь код не расползалось?
к
Товарищи, а можно ли как-то обойтись без
Вот так:
Чтоб просто нужно было тип явно указывать при вызове, а не проксями бросаться
Proxy и сделать вместоfoo :: MyClass a b => Proxy b -> a -> BarВот так:
foo :: MyClass a b => a -> Bar?Чтоб просто нужно было тип явно указывать при вызове, а не проксями бросаться
удобнее всего сделать так
foo :: forall b a. MyClass a b => a -> Bar
x :: A
y = foo @B x
foo :: forall b a. MyClass a b => a -> Bar
x :: A
y = foo @B x
JS
А их можно как-нибудь локально разрешать, чтоб оно на весь код не расползалось?
локализуй в модуле
к
А их можно как-нибудь локально разрешать, чтоб оно на весь код не расползалось?
можно в модуле одном, но лучше везде, это расширение должно быть по дефолту включено везде имхо
ЖК
Понял, спасибо.
MK
А они в 2021 попали?
к
Понял, спасибо.
если у тебя всегда по задумке может существовать ровно один инстанс MyClass a b для любых a, то можно сделать MyClass a b | a -> b и не указывать тип вообще никогда
к
А они в 2021 попали?
нет, абсолютно никто за него не проголосовал
JS
ну нет, AAT всё-таки может скомпилировать и неправильный код.
у меня такое было. перемудрил с типами, компилятор предложил AAT, а надо было упростить
у меня такое было. перемудрил с типами, компилятор предложил AAT, а надо было упростить
JS
а TypeApplications точно безобидное
KV
AAT было бы намного лучше, если бы компилятор его не предлагал не по делу
2021 February 04
ЖК
А почему убрали TypeApplications?