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

via Don Syme

Greg Neverov’s post.

The library exposes memory transactions as a monad using F#’s new computation expression feature.

Download HERE.

Previous post: .NET Source Code is available

Next post: New PowerShell Books

{ 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”).