deftype and side-effects

Liste des GroupesRevenir à cl lisp 
Sujet : deftype and side-effects
De : monnier (at) *nospam* iro.umontreal.ca (Stefan Monnier)
Groupes : comp.lang.lisp
Date : 06. May 2025, 00:06:45
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <jwv34dism4i.fsf-monnier+comp.lang.lisp@gnu.org>
User-Agent : Gnus/5.13 (Gnus v5.13)
I can't see anything in the hyperspec about the semantics of "derived
type specifiers" (DTS) when the FORM that defines them has side-effects.
E.g.

    (deftype my-funny-vector (elem)
      "A funny vector type."
      `(vector ,elem ,(random 100)))

IOW, when are DTS expanded?  Is it firmly in the
"implementation-defined" nebula, or does the hyperspec make it more
precise somewhere?


        Stefan

Date Sujet#  Auteur
6 May 25 * deftype and side-effects4Stefan Monnier
6 May 25 `* Re: deftype and side-effects3Kaz Kylheku
6 May 25  +- Re: deftype and side-effects1Madhu
6 May 25  `- Re: deftype and side-effects1Stefan Monnier

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal