Restricted Data Types: A reformulation
bulatz at HotPOP.com
Wed Feb 8 09:40:41 EST 2006
Wednesday, February 08, 2006, 4:26:48 PM, you wrote:
JWM> Should there be a class which is implemented by every well-formed
JWM> type of kind (*)? Should that class have one or more of the following:
JWM> * Structural decomposition and reconstruction a la Generics?
JWM> * Scrapped-boilerplate traversal a la Typeable?
JWM> * Ability to coerce to Dynamic?
JWM> It would be a special source of amusement to me if such a class were
JWM> called All or Forall... :-) (though a moment's thought will tell you
JWM> it's Wrong.)
it's called "Object" in OOP languages, so we are clearly should name it
Bulat mailto:bulatz at HotPOP.com
More information about the Haskell-prime