Re: Common Lisp solved this problem 20 years ago Aubrey Jaffer 26 Oct 2005 02:17 UTC
| Date: Tue, 25 Oct 2005 17:22:56 -0500 | From: Alan Watson <xxxxxx@astrosmo.unam.mx> | | Aubrey Jaffer wrote: | > Common Lisp HyperSpec (TM) | > http://www.cs.cmu.edu/Groups/AI/html/hyperspec/HyperSpec/FrontMatter/index.html | > does not index any with-<type> symbols. How is this attributable to | > CommonLisp? | | with-<type> were a toy examples. Sorry for the confusion. If I | remember, correctly, real Common Lisp would look like: | | (lambda (x y) | (declare (type double-float x y)) | (/ x y))) | | I'm not wedded to any particular syntax, though. Are you suggesting that we have syntax specific to the SRFI-77 categories; or a general type declaration system? Specific sounds good to me. Can you propose a specific set of syntaxes?