Re: When slots :type are used

Madhu <[email protected]> wrote:

> * Raymond Toy <[email protected]> :
> Wrote on Wed, 26 Nov 2008 17:08:56 -0500:
>
> | Didier Verna wrote:
>
> |> Section "2.23.2 Slot Type Checking" continues to puzzle me,
> |> especially the fact that you have to be within *methods* for the
> |> :type slot option to be taken in consideration when writing something
>
> Which section is this?  I couldnt grep for this in the spec or mopspec.

  In the CMU-CL user manual, not the HyperSpec. I should have been more
specific ;-)


> | Most likely because no got around to doing it. Plus the most
> | interesting/most common case is probably in a method.
> |
> | I'll see what I can do, but I know very little about the pcl
> | implementation.
>
> It may also have been a tradeoff, [since it is not being done in the
> compiler] and you want to have at least one path available to the
> programmer to set a slot value that avoids overhead of a type check.

  But doing so by making (setf (slot-value))'s behavior different (shall
I say inconsistent?) depending on the context feels somewhat weird to
me. I guess you concern is performance here; but then, we can play with
the optimize declaration.

-- 
Resistance is futile. You will be jazzimilated.

Scientific site:   http://www.lrde.epita.fr/~didier
Music (Jazz) site: http://www.didierverna.com

EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France
Tel. +33 (0)1 44 08 01 85       Fax. +33 (0)1 53 14 59 22