via Don Syme
Greg Neverov’s post.
The library exposes memory transactions as a monad using F#’s new computation expression feature.
Download HERE.
Researching the optimal; implementing the practical
-
Author “PowerShell for Developers”
Top 20 best-reviewed title 
Awards
Answers to PowerShell Questions
{ 1 comment… read it below or add one }
Interesting … it seems to turn out well (the code using STM doesn’t look very awkward), which is pretty surprising because most code I’ve seen encoding various monads into O’Caml doesn’t look very nice. I think eventually O’Caml (and F# as well) will eventually have to bite the bullet and add some support for typeclasses and higher-kinded types (as both are necessary to make monads a “non-special form”).