КГ
Ты за nullsafe вещал вроде, или я криво тред читал)
Size: a a a
2020 June 03
KN
ну типа когда я примеры приводил, я на этот рфц и ссылался как бы
KN
не от балды же я синтаксис придумывал (хотя могу)
КГ
Ъуъ сюка
КГ
Такой вроде в других япах же есть
КГ
В с# вроде
KN
он из ruby вроде как пошёл
KN
ну по крайней мере в шарпеце я помню когда его добавляли
KN
а в руби не помню, вроде почти изначально он был там)
KN
хотя есть сомнения на тему всяких тру-фп, вроде хаскеля
KN
там точно есть maybe, но он выглядит иначе
A
В хаскеле мейби это просо датакласс
A
Собственно повторю свой вопром, может кто-то какую-нибудь реализацию Either уже покрытую типами знает?
Для случаев, когда из функции нужно возвращать или успешное значение или сообщение об ошибке.
Для случаев, когда из функции нужно возвращать или успешное значение или сообщение об ошибке.
KN
function either(callable $fn)
{
return function (...$args) use ($fn) {
try {
return $fn(...$args);
} catch (\Thrwable $e) {
return $e;
}
};
}
KN
типа такого?
KN
В хаскеле мейби это просо датакласс
всегда считал что это такая же монада, как опшанл в ларке
A
всегда считал что это такая же монада, как опшанл в ларке
Что по твоему такое-монада?
KN
ну простыми словами враппер над типом
A
function either(callable $fn)
{
return function (...$args) use ($fn) {
try {
return $fn(...$args);
} catch (\Thrwable $e) {
return $e;
}
};
}
чтобы можно было аннотировать возвращаемое значение Either<A, B> и были его подклассы Left и Right, getData которых возвращал бы типы A и B соответственно
A
ну простыми словами враппер над типом
И что у этого враппера должно быть, чтобы он был монадой?