Restricted Data Types: A reformulation

[Bulat Ziganshin]

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 at HotPOP.com