[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Common Lisp solved this problem 20 years ago

To: srfi-77@xxxxxxxxxxxxxxxxx
Subject: Re: Common Lisp solved this problem 20 years ago
From: Marcin 'Qrczak' Kowalczyk <qrczak@xxxxxxxxxx>
Date: Wed, 26 Oct 2005 00:08:13 +0200
Delivered-to: srfi-77@xxxxxxxxxxxxxxxxx
In-reply-to: <435E9198.10003@xxxxxxxxxxxxxxxx> (Alan Watson's message of "Tue, 25 Oct 2005 15:12:08 -0500")
Mail-followup-to: srfi-77@xxxxxxxxxxxxxxxxx
References: <435E10AE.8010807@xxxxxxxxxxxxxxxx> <874q754dk4.fsf@xxxxxxxxxxxxx> <435E9198.10003@xxxxxxxxxxxxxxxx>
Sender: Marcin 'Qrczak' Kowalczyk <qrczak@xxxxxxxxxx>
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

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
   \__/       qrczak@xxxxxxxxxx
    ^^     http://qrnik.knm.org.pl/~qrczak/

References:
- Common Lisp solved this problem 20 years ago
  - From: Alan Watson
- Re: Common Lisp solved this problem 20 years ago
  - From: Marcin 'Qrczak' Kowalczyk
- Re: Common Lisp solved this problem 20 years ago
  - From: Alan Watson

Prev by Date: Re: Common Lisp solved this problem 20 years ago
Next by Date: Re: Common Lisp solved this problem 20 years ago
Previous by thread: Re: Common Lisp solved this problem 20 years ago
Next by thread: Re: Common Lisp solved this problem 20 years ago
Index(es):
- Date
- Thread