Re: Common Lisp solved this problem 20 years ago Marcin 'Qrczak' Kowalczyk 25 Oct 2005 19:11 UTC
Alan Watson <xxxxxx@astrosmo.unam.mx> writes: > 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)) Declaring types of identifiers is not enough, because it can't express the wish to ignore any fixnum overflow and assume that the result will fit in a fixnum. -- __("< Marcin Kowalczyk \__/ xxxxxx@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/