News for hackers. Stuff that matters.

A comment on Distributed Systems in Haskell. Parent comment

Re:Distributed Systems in Haskell by navaati on Monday June 13, 2016 @05:50AM (#11892651)
Shouldn't the type of the monadic serverStep be "Message -> m ()" to match the type of the explicit "serverStep :: Config -> State -> Message -> (State, [Message])" ? Aka, serverStep isn't a monadic object, it's a Kleisli arrow.
[ Parent | on HN ]
Re:Distributed Systems in Haskell by wyager on Monday June 13, 2016 @11:09AM (#11894452)
You're right, that's a typo. I even wrote it out correctly later. I'll fix that. Thanks!
[ Parent | on HN ]