Detroit Lambda Lounge

F# Computation Expressions and Monads

January 30 · 7:00 PM
Atomic Object

Ever get sick of writing pyramids of doom (callback hell) in JavaScript? Ever get sick of tracing program flow through complex MVC object graphs in Java or C#? These and other problems, common in von Neumann languages, are often difficult to solve cleanly because of the inflexibility of sequentially executed statements.

Functional languages grow out of a model that lacks side effects, thereby making sequencing a foreign concept. To deal with the inevitable side effects the real world forces on otherwise clean functional programs, FP language designers have invented an abstraction that neatly embeds side effects and sequenced operations in a functional world: monads.

In his talk, Faisal Waris will demonstrate how functional languages can be more powerful and flexible imperative languages than imperative languages. Faisal will introduce us to monads and F#'s specific flavor of them, computation expressions. Not only will he help us understand the underlying concept, he'll show how it's enabled elegant solutions to the pyramid of doom, MVC spaghetti, and other problems of modern software development.

Parking information is here.

Join or login to comment.

Faisal Waris

Thanks Drew and team and everyone who could attend.

Some of your mentioned learning Haskell. For me one of the best resources is this lecture series by Erik Meijer:

http://channel9.msdn.com/Series...

1 · January 31
Faisal Waris

Here is the link to my blog post that links to the slides and demo code.

http://fwaris.wordpress.com/201...

1 · January 31
Dan Diebolt

I am looking forward to this presentation. Monads is a difficult subject to understand but this presentation helped my better understand it:

Douglas Crockford Monads and Gonads
http://www.youtube.com/watch?v=...

0 · January 17