Saturday, September 13, 2008

List Monad in F#

Now, it is time look some useful monads than Identity Monad. If you look LINQ query , you can’t miss it recognize the Bind operator(>>=) of a Monad:
public static IEnumerable SelectMany

I am using ResizeArray<_> as List, which is synonym for .Net generic list List<>. I have implemented standard Customer Order scenario to check monads Axioms:
( http://www.paul-abraham.com/MonadsInFSharp.doc)

Wednesday, September 10, 2008

Identity Monad in F#

When I have studied Category Theory at the university , I didn’t know where to use Monads and Kleisli triple.The Whole Gadget was very abstract to me. Since I have encountered with F# Workflows and LINQ , I understand the power and elegance of Monads. In order to learn F#,I have implemented the Identity Monad.
( http://www.paul-abraham.com/MonadsInFSharp.doc)

Wednesday, September 3, 2008

F# Code to Structure and Interpretation of Computer programs

F# Code to Structure and Interpretation of Computer programs.I love and enjoy reading the bookStructure and Interpretation of computer Programs” (http://mitpress.mit.edu/sicp/) but examples of this book are written in Lisp. Right now ,I am learning F# and I think that it is a great opportunity to acquire practice with this great language. Please check http://www.paul-abraham.com/FSharpCode2SICP.doc to get the whole series . I will add F# implementaions day by day.