🚀 go-pugleaf

In article <2236@opal.cs.tu-berlin.de>, wg@opal.cs.tu-berlin.de (Wolfgang Grieskamp) writes:
|> peterson-john@cs.yale.edu (John C. Peterson) writes:
|> 
|>   >Regarding typing in Common Lisp & ML, it is incorrect to say that
|>   >Common Lisp lacks types; type declarations in CL are actually far more
|>   >general than those in ML.  What Common Lisp lacks is any sort of well
|>   >defined type inference, a major deficiency.
|> 
|> As i remember from a short afair with LISP some years ago, type 
|> declarations in CL are always monomorphic: no parametric 
|> polymorphy, no type variables. 
|> 
|> Hence the "far more generalicity" you mentioned is to omit types? 

(deftype halting-function ()
   '(and function (satisfies halting-p)))