ML
У вас опять парадокс блаба случился
Size: a a a
2020 March 29
p
p
что это?
G
вот бы еще сделали чужие трейты для чужих типов, как обещают, было бы збс
В Idris так можно, БТВ
ML
что это?
В голос. Лучшего ответа не придумать.
AZ
Кто обещает?
https://github.com/rust-lang/rfcs/issues/1856 ну вот например
p
В голос. Лучшего ответа не придумать.
это вопрос :/
AZ
В Idris так можно, БТВ
в расте тоже легко сделать, надо просто перефразировать орфан рулы так что не только для своего типа делать, но для типа который параметризуется своим
AZ
тогда impl Display for Result<MyType> будет без проблем работать
G
в расте тоже легко сделать, надо просто перефразировать орфан рулы так что не только для своего типа делать, но для типа который параметризуется своим
Уже есть же
G
В недавнем выпуске
DS
@DogeShibu помнишь у тебя была проблема с итератором в трейте? Почему ассоциированный тип не помог, не помнишь?
Там вроде бы было совершенно не эргономично писать саму реализацию.
Т.к. генераторы совершенно не стабильны, impl Trait не вернёшь, Box<dyn ...> убьет оптимизации, а руками писать портянки типов или вообще свой итератор вообще не хочется
Т.к. генераторы совершенно не стабильны, impl Trait не вернёшь, Box<dyn ...> убьет оптимизации, а руками писать портянки типов или вообще свой итератор вообще не хочется
G
тогда impl Display for Result<MyType> будет без проблем работать
В Idris можно чужой трейт для чужого типа, если это происходит в твоём пространстве имён
G
Также можно два раза реализовать и т.д., это даёт много возможностей
AZ
В недавнем выпуске
AZ
Также можно два раза реализовать и т.д., это даёт много возможностей
это уже имлписитами запахло
Т8
Там вроде бы было совершенно не эргономично писать саму реализацию.
Т.к. генераторы совершенно не стабильны, impl Trait не вернёшь, Box<dyn ...> убьет оптимизации, а руками писать портянки типов или вообще свой итератор вообще не хочется
Т.к. генераторы совершенно не стабильны, impl Trait не вернёшь, Box<dyn ...> убьет оптимизации, а руками писать портянки типов или вообще свой итератор вообще не хочется
G
это уже имлписитами запахло
В Idris есть имплиситы, БТВ
AZ
В Idris есть имплиситы, БТВ
ну имплиситы это некогерентные тайпклассы