In this post I’m going to continue discussing testing CHP, this time focusing on the CHP monad. The monad is a bit complex (and indeed, there is a subtle bug in the current version of CHP to do with poison-handling) because it has several semantic aspects: it is an error-handling/short-circuiting monad (because it must obey [...]Image may be NSFW.
Clik here to view.
Clik here to view.
