Snippets tagged indexed monad

  • Indexed Monads and Applications in F#

    Continuing from Nick Palladinos' session types, this snippet is an implementation of indexed monads in F#, as well as a collection of examples that demonstrate its utility: session types, type-safe serialization and reversible workflows.

    6 people like this

    Posted: 3 years ago by Eirik Tsarpalis