
11 Jun
2005
11 Jun
'05
1:24 p.m.
On 6/6/05, Gracjan Polak
wrote: If you stick to single inheritance there is other way to simulate OO in Haskell. Look for "phantom types". Whole wxHaskell (for example) is based on this concept.
I heard about them indeed but barely found clear explanations of it. Any useful pointer you're aware of maybe ?
Cédric
Hi Cedric, See Section 7.3 of the latest revision of "Haskell's overlooked object system". There are pointers and explanations. This discussion also clarifies that the phantom approach is tailored for foreign library and component import (but it can be generalized and has been indeed, by Burton in a paper from 1990). Regards, Ralf