HaloO,

Larry Wall wrote:
You are confusing the container with the object.  .WHAT and .HOW are
both dynamically typed, and $x.WHAT returns Str, because objects do
not carry subtypes.  The container enforces the ThreeChars constraint,
but does not require a ThreeChars object.

Thanks for helping me around that one. Of course it needs more
to implement a type. In addition to the ThreeChars subset constraint
it needs a whole bunch of multis to handle it and some meta level
infrastructure to support it value-wise.

Regards, TSa.
--

"The unavoidable price of reliability is simplicity"
  -- C.A.R. Hoare

Reply via email to