Re: Common Lisp solved this problem 20 years ago Aubrey Jaffer 25 Oct 2005 21:54 UTC
| Date: Tue, 25 Oct 2005 06:02:06 -0500 | From: Alan Watson <xxxxxx@astrosmo.unam.mx> | | 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?