.NET System.Interactive and Monadic type systems

Bart De Smet is doing a series on LINQ with System.Interactive.

• The Ultimate Imperative
• Exceptional Exception Handling
• Sequences under construction

In his post, Sequences under construction, I liked that he gives a little LISP  history for cons, car and cdr (the latter two coming from IBM machine terminology). Plus he walks through the formulation for Kleisli triple, type construction, unit function and binding operation. Check out the link Bart gives on The Marvels of Monads by Wes Dyer, who has a major hand in creating System.Interactive.

Lot’s to learn and Bart does a great job in making it more approachable.