8 Feb
2006
8 Feb
'06
9:40 a.m.
Hello Jan-Willem, 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 "Function" ;) -- Best regards, Bulat mailto:bulatz@HotPOP.com