Created
November 29, 2022 13:44
-
-
Save blair55/1d7eafcfb12eb6987cadec614ebef206 to your computer and use it in GitHub Desktop.
Writer computation expression
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| type WriterBuilder() = | |
| member __.Return(x) = retn x | |
| member __.Bind(m, f) = | |
| let (a, logs1) = run m | |
| let (b, logs2) = run (f a) | |
| Writer(fun () -> b, logs1 @ logs2) | |
| let writer = WriterBuilder() |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment