[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Common Lisp solved this problem 20 years ago
Alan Watson <a.watson@xxxxxxxxxxxxxxxx> writes:
> Marcin 'Qrczak' Kowalczyk wrote:
>> 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.
> Common Lisp get around this by allowing one to specify the range as
> part of the type.
Not only that, but you can say (the fixnum <expr>).
__("< Marcin Kowalczyk