Size: a a a

2020 June 08

G

Gymmasssorla in rust_offtopic
Т-34 85
к сожалению, в вале нельзя делать ни дженерик делегаты, ни вешать констрейнты на параметры. От делегата не отнаследуешься, от errordomain -тоже. Так что придётся принимать делегат определённого типа, чтобы прокинуть определённого типа исключения
О чём я и говорил 🤡🤡🤡
источник

G

Gymmasssorla in rust_offtopic
Gymmasssorla
Алг. эффектов в Vala нет
^
источник

Т8

Т-34 85 in rust_offtopic
я думаю, что при желании могли бы разрабы чего-нить прилепить. Просто у них это не в приоритете
источник

G

Gymmasssorla in rust_offtopic
Два способа, которые я знаю - ADTs и алг. эффекты
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Два способа, которые я знаю - ADTs и алг. эффекты
ну, ладно, допустим, нельзя так сделать. Что тебе приходится делать из-за этого?
источник

Т8

Т-34 85 in rust_offtopic
Emmanuel Goldstein
Ну, я знаю, что это функция. Я хочу быть абстрактным относительно списка её эксепшнов
^
источник

Т8

Т-34 85 in rust_offtopic
мне кажется, что это явно не первой необходимости фича
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
ну, ладно, допустим, нельзя так сделать. Что тебе приходится делать из-за этого?
Типы стирать. Если нужно потом высунуть мои типы - даункасты
источник

G

Gymmasssorla in rust_offtopic
Это собственно та причина, почему от явных исключений в Java отказались
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Типы стирать. Если нужно потом высунуть мои типы - даункасты
ого! А что за кейс такой, что возникла необходимость так жестить?
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
ого! А что за кейс такой, что возникла необходимость так жестить?
Ну смотри. Язык не позволяет выразить функцию высшего порядка с такими исключениями. Приходится тогда "стирать типы", т.е. возвращать что-то вроде Exception (суперкласс). Если потом моя функция вернула-таки исключение, а я не просто хочу вывести ошибку в консоль, нужно делать даункасты. В Rust я на это нарвался, когда писал тесты с failure (который оказался ПРОВАЛОМ!).
источник

B

Bogdan in rust_offtopic
polunin.ai
в гитигнор добавь
так-то всю папку идеи игнорить не надо

там есть типы настроек, который можно шарить через репу, те-же словари для орфографии
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Ну смотри. Язык не позволяет выразить функцию высшего порядка с такими исключениями. Приходится тогда "стирать типы", т.е. возвращать что-то вроде Exception (суперкласс). Если потом моя функция вернула-таки исключение, а я не просто хочу вывести ошибку в консоль, нужно делать даункасты. В Rust я на это нарвался, когда писал тесты с failure (который оказался ПРОВАЛОМ!).
функции высших порядков... Ладно, я-то думал, что где-то в приземлённых кейсах это всплыло
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
функции высших порядков... Ладно, я-то думал, что где-то в приземлённых кейсах это всплыло
Да лол, map есть HOF
источник

G

Gymmasssorla in rust_offtopic
filter, bind, etc
источник

G

Gymmasssorla in rust_offtopic
Функции стримов - Higher-Order
источник

G

Gymmasssorla in rust_offtopic
Многие
источник

B

Bogdan in rust_offtopic
Gymmasssorla
Да лол, map есть HOF
ооо, я когда в дажвке работал со стримами (map/filter) чекед исклчбюения очень боком вылазили)
источник

G

Gymmasssorla in rust_offtopic
Bogdan
ооо, я когда в дажвке работал со стримами (map/filter) чекед исклчбюения очень боком вылазили)
Вот, потому что исключения в Java - просто вычислительные эффекты, но не алгебраические
источник

G

Gymmasssorla in rust_offtopic
Алгебраические бы комбинироваться умели
источник