| 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?