[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Common Lisp solved this problem 20 years ago

 | Date: Tue, 25 Oct 2005 17:22:56 -0500
 | From: Alan Watson <a.watson@xxxxxxxxxxxxxxxx>
 | 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