Category Theory - F#

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Vincent L

Hi, I discovered FsharpPlus recently and I'm trying to write f# code in the most haskellish way possible. I'm having a problem though

Vincent L

my goal is to have all function lifter to Writer monad (for logging) and for IO function to have them also log to Result monad (because they can fail)

Vincent L

issue is, I know how to "fork" path but not how to "join" them. For instance if I have a function that failled, I don't know what is the FP way (ie without match...) to from Writer<Result<'a, string>, string> to Writer<unit, string>