M.C. Escher - Metamorphosis II

zoneToRA / ToRAsConsole

Sat, 05 Jan 2008

Arrows

I have a New Year's resolution to update this blog at least once a week. For this week, I've taken a photo of some doodles on my home wipe-board...the humour is a bit niche though. (Click for full-size version)

Click for full
version

By way of explanation, I've spent part of this week playing with Haskell Arrows. Now these are a generalisation of the much over-feared Monads, and are apparently quite cool (in certain circles). I'm still getting to grips with them, and their variant of do notation, but expect a post about them as soon as I find a small neat example to use that has obvious benefits over using Monads.

One of the fringe side effects to using arrows is that even more words are now ceasing to have a sensible default meaning. left, right, first and second are quite important words in natural English, but now I just think of pipes splitting and merging...

And yes, I also have another new year's resolution to re-write this blog to make it navigable and usable...I keep looking at HaPPs, (especially the new-ish video they have on there) and thinking if only I had more free time.

[/general] permanent link

Tristan Allwood's weblog

M.C. Escher - Metamorphosis II