Alp Mestan’s Corner

Hi,

I’m currently investigating the categorical side of Functional Programming. That’s a very interesting field, as it put together a very abstract mathematical field and a way/category of programming/programming languages.

I’m reading many papers including the two following ones, that anyone interested should read in my opinion.

• An introduction to category theory, category theory monads, and their relationship to functional programming, Jonathan M.D. Hill and Keith Clarke [PDF]
• Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire, Erik Meijer, Maarten Fokkinga and Ross Paterson (I know this one is already well-known, but how would have it been possible to deal without this one ?!) [PDF]

This field really shows how functional programming and mathematics (in particulary the category theory field of mathematics) are close… So much close that there are many objets that are nearly equivalent, one being from category theory, the other from functional programming.
If, like me, you enjoy learning such things, don’t hesitate to read both papers (at least) !

PS : I’m writing this post from my home in Marseille… Yes, I got my Internet+TV access !