Andrew Appleyard wrote:
On 26/04/2007, at 12:12 am, Bulat Ziganshin wrote:
Simon Marlow recently wrote paper about handling dynamic exceptions - for me it seems that he described general system to mimic OOP in Haskell
I found the paper (titled 'An Extensible Dynamically-Typed Hierarchy of Exceptions'). The system described is not a complete OO mapping (it doesn't deal with method overloading, for example) however because it is a recent paper and the mapping is quite lightweight it could be useful to me.
The best reference I know of for how to do OO in Haskell is the Kiselyov/Lämmel OOHaskell paper: http://homepages.cwi.nl/~ralf/OOHaskell/. Quite often you don't need the full range of OO functionality to implement a particular abstraction, and in that case you can pick from the menu of techniques described in that paper. Extensible exceptions is one particular example of an OO-like abstraction. Cheers, Simon