Hello Johannes, Tuesday, June 28, 2005, 7:38:04 PM, you wrote:
type Figure = Circle ... type Figure |= Box ...
JW> interface Figure JW> class Circle implements Figure JW> class Box implements Figure this don't give ability to create polymorphic collections JW> well I never would want to do that - and OO gurus do not recommend JW> it either. See Gamma et al, Design patterns, Introduction, JW> where they advise to use interface inheritance, but to avoid JW> implementation inheritance. This is exactly the situation JW> we have in Haskell. you are completely skipped the point that these is just for C++ programmers wanting to program in Haskell and aimed to give them faster learning path and easy to use instruments -- Best regards, Bulat mailto:bulatz@HotPOP.com