p
Ну это неправильно, потому что вместо Either, тут может быть и IO, и какое-нибудь ZIO
а это F<A> где F: Functor ?
Size: a a a
2020 June 07
DS
а это F<A> где F: Functor ?
Где F : ApplicativeError<*, MyError>
DS
Где ApplicativeError - это Applicative с добавленным методами для выброса и обработки ошибок
p
почему тогда F а не A?
DS
почему тогда F а не A?
Потому что принято первый параметр с дыркой назвать в скале как F.
В хаскеле для этого обычно m используют
В хаскеле для этого обычно m используют
Т8
Какой тип у этой функции?
тип будет по названию типа делегата. А по его сигнатуре можно понять, какие он кидает эксепшины. Да, если тебе нужно другой эксепшин прокинуть, то тебе этот тип делегата не подойдёт
public delegate int DelegateType () throws ErrorType1, ErrorType2;
public int g(DelegateType f) throws ErrorType1, ErrorType2
{
return f();
}
EG
Т-34 85
тип будет по названию типа делегата. А по его сигнатуре можно понять, какие он кидает эксепшины. Да, если тебе нужно другой эксепшин прокинуть, то тебе этот тип делегата не подойдёт
public delegate int DelegateType () throws ErrorType1, ErrorType2;
public int g(DelegateType f) throws ErrorType1, ErrorType2
{
return f();
}
Нет, подожди
Т8
короче, надо смотреть на тип делегата
EG
У меня функция ничего не знает про тип делегата
Т8
на его сигнатуру
Т8
У меня функция ничего не знает про тип делегата
а как тогда она его примет?
EG
В Rust это выражается так:
fn g<T>(f: impl FnOnce() -> T) -> T {
f()
}EG
Потому что эксепшнов нет
Т8
у нас же не динамическая типизация
EG
Т-34 85
а как тогда она его примет?
Ну, я знаю, что это функция. Я хочу быть абстрактным относительно списка её эксепшнов
EG
Мне правда пофиг, я не перехватываю ни один из них.
EG
Или вот менее тривиальный пример
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=35205fbcede6d38a7d010f76dadc3fe1
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=35205fbcede6d38a7d010f76dadc3fe1
A
anyhow же
Обрабатывать конкретную ошибку с ним потом не особо удобно.
2020 June 08
OA
Т-34 85
это самое удобное, что ты видел? Невзирая на применимость в системном
Самое удобное - это сферические монады в вакууме.
Т8
Ну, я знаю, что это функция. Я хочу быть абстрактным относительно списка её эксепшнов
к сожалению, в вале нельзя делать ни дженерик делегаты, ни вешать констрейнты на параметры. От делегата не отнаследуешься, от errordomain -тоже. Так что придётся принимать делегат определённого типа, чтобы прокинуть определённого типа исключения