[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 06:02:06 -0500
 | From: Alan Watson <a.watson@xxxxxxxxxxxxxxxx>
 | 
 | The prime goal of this SRFI seems to be to enable Scheme
 | implementations to make the same type inferences that C
 | implementations can make. Yes?
 | 
 | I aplaud this goal. However, rather than create this horrid mess of
 | type-specific operators, I would much prefer an approach that used
 | type declarations, perhaps:
 | 
 |    (with-flonum (x y) (/ x y))
 |    (with-fixnum (n m) (* n m))
 | 
 | Essentially, if you want to do this, follow Common Lisp.

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?

Also, would with-fixnum declare uniform arrays and vectors?