[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Common Lisp solved this problem 20 years ago
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
(with-flonum (x y) (/ x y))
(with-fixnum (n m) (* n m))
Essentially, if you want to do this, follow Common Lisp.
Yes, I know that if you provide Lisp-like macros and these type-specific
operators, then I can implement these myself. However, my gut tells me
that this sort of thing should be provided by the compiler writer.
Dr Alan Watson
Centro de Radioastronomía y Astrofísica
Universidad Astronómico Nacional de México