Channels
#arrow
- s
sam
06/03/2019, 11:45 AMso partition wasn't a bad name - p
pakoito
06/03/2019, 11:46 AM@pablisco was looking into this one - p
pakoito
06/03/2019, 11:46 AM
is what we had in mindsplit - p
pakoito
06/03/2019, 11:46 AMgeneralized for MonadError and Traverse - p
pablisco
06/03/2019, 11:47 AMI mentioned the idea but haven't got a chance to create a prototype yet - s
sam
06/03/2019, 2:45 PMQuite often I find myself wanting to "check" some logic, but without a return value if the logic succeeds. Like say "validateXXX". I tend to return Try<Unit>. Is there a better idiom for this ? - d
Derek Berner
06/03/2019, 2:45 PMThe role of
is getting assumed intoTryIO - d
Derek Berner
06/03/2019, 2:46 PMValidated - d
Derek Berner
06/03/2019, 2:46 PMmaybe? - d
Derek Berner
06/03/2019, 2:47 PMI guess it depends on whether your function has side effects - d
Derek Berner
06/03/2019, 2:48 PMIt's not wrong to use
but maybe a bit verbose?Validated<Nel<E>,Unit> - b
Bob Glamm
06/03/2019, 2:49 PMMaybe a better question: what do you want to happen if the logic fails?👍 1 - d
Derek Berner
06/03/2019, 2:49 PMThat simplifies to
or evenOption<Nel<E>>
or even justNel<E>?
... and then if it's empty then you know it's valid?List<E> - d
Derek Berner
06/03/2019, 2:51 PMAll 4 of those provide the ability to collect errors and switch on success/failure - d
Derek Berner
06/03/2019, 2:53 PMBut yeah, @Bob Glamm is asking the right questions - b
Bob Glamm
06/03/2019, 2:53 PMSince we're talking monads I only covered half the questions 🙂 - b
Bob Glamm
06/03/2019, 2:54 PMwell, assuming that subsequent computations should be short-circuited, anyway - s
sam
06/03/2019, 2:54 PMI suppose if I have two functions - calculateXX and validateXX I can just move the validate into the calculate - s
sam
06/03/2019, 2:54 PMbut sometimes I like the one liners - d
Derek Berner
06/03/2019, 2:54 PMPrefer short functions and composition - b
Bob Glamm
06/03/2019, 2:54 PM^^ - s
sam
06/03/2019, 2:55 PMSo lets say you want to calculateExpiryDate - s
sam
06/03/2019, 2:55 PMand then check it's not too long - r
raulraja
06/03/2019, 2:55 PMlet’s do some code - s
sam
06/03/2019, 2:55 PMfun calculateExpiryDate():LocalDate - r
raulraja
06/03/2019, 2:55 PMCopy codeval valid: Unit = TODO() - s
sam
06/03/2019, 2:55 PMfun validateExpiryDate(date: LocalDate):Try<Unit> - d
Derek Berner
06/03/2019, 2:55 PMIt would help if you share an example to see how best to compose - r
raulraja
06/03/2019, 2:55 PMthat does not validate unless by validation you mean if it does not blow up with an exception - s
sam
06/03/2019, 2:55 PMyeah