к
Size: a a a
2020 May 06
ЗП
pure есть
ЗП
по факту мне надо
Selective =>ЗП
хотя
Decidable подойдетЗП
не получилось без до класса типа
class Functor f <= Coapply f where
coapply :: forall a b. f (Either a b) -> Either (f a) (f b)
pchoose
:: forall p f a b a1 a2
. Corepresentable p f
=> Coapply f
=> (a -> Either a1 a2)
-> p a1 b
-> p a2 b
-> p a b
pchoose f x y = cotabulate \s -> codup $ bimap (cosieve x) (cosieve y) (coapply (f <$> s))
ЗП
можно и так
cotabulate \s -> either (cosieve x) (cosieve y) (coapply (f <$> s))
MK
100500-я причина почему
NonEmpty неудобный — сложно писать литералыAV
f:|[q,r] ?
MK
ну да
MK
некрасиво
AV
[nonEmpty| f,q,r |] !
к
100500-я причина почему
NonEmpty неудобный — сложно писать литералыOverloadedLists?
AV
failable
AA
да в нонэмпти все неудобное, страшно на какие самонаказания готовы хачкелисты пойти, лишь бы только стектрейсы не делать
KV
да в нонэмпти все неудобное, страшно на какие самонаказания готовы хачкелисты пойти, лишь бы только стектрейсы не делать
А при чём тут стектрейсы?
AA
чтоб удобными списками спокойно пользоваться, и еще для 0,998 остального, на что нонэмптилист все равно не влияет никак
2020 May 07
MK
чтоб удобными списками спокойно пользоваться, и еще для 0,998 остального, на что нонэмптилист все равно не влияет никак
Так с трейсами вроде проблема что они хвостовую рекурсию ломают
По крайней мере я такие аргументы слышал почему в head и прочем errorWithoutStackTrace
По крайней мере я такие аргументы слышал почему в head и прочем errorWithoutStackTrace
AV
я хочу узел из пакетов 🙁
аа
какой лучший способ засунуть IO Bool в иф?