CODEWITHSUNDEEP
f#computation-expression
ca9163d9
ca9163d9

Reputation: 29159

Embed workflow/monad in another workflow/monad?

For example, I have a workflow for logging, and I want to use async in the logging workflow. How to call logging's bind in async workflow? 

log {
    async {
       let! a = .... // Need to do logging here.
       let! b = .... // Need to do async here

Edit: I heard that it's a good idea to use workflow to replace AOP for cross cutting concerns purpose in F#. I'm not sure how to handle the embedding issues. Or it's not a good idea to use workflow for it?

Upvotes: 1

Views: 122

Answers (2)

Vasily Kirichenko
Vasily Kirichenko

Reputation: 671

You can use AsyncReader computation expression for this https://github.com/jack-pappas/ExtCore/blob/master/ExtCore/Control.fs#L1769 and lift Asyncs and Readers if you need.

Upvotes: 1

Tomas Petricek
Tomas Petricek

Reputation: 243061

F# does not have any automated way of doing this. What you essentially want is to create a composed computation that captures two different behaviors. The best way to do this is to define a new computation, say asyncLog, that lets you do both of the things you need. This is not easy, but the following are good starting points:

In reality, you do not need to do this that often in F#, because there are not that many computation expressions to compose.

In your example, you're using async and log. Although logging makes for a great demo when explaining how computation expressions work, I'm not sure that I would use computation expressions to add logging to my application in practice - it seems easier to just use a global logger object and call it directly (but it really depends on what your log computation does behind the covers).

Upvotes: 5

Related Questions