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

Re: (/ 0 0.0) ==> 0

To: Wolfgang Hukriede <whukriede@ifm.uni-kiel.de>
Subject: Re: (/ 0 0.0) ==> 0
From: Matthew Flatt <mflatt@cs.utah.edu>
Date: Fri, 21 Jan 2000 08:36:32 -0700 (MST)
CC: plt-scheme@fast.cs.utah.edu
In-Reply-To: <200001211528.QAA24564@sally.ifm.uni-kiel.de>
References: <200001211528.QAA24564@sally.ifm.uni-kiel.de>
Sender: owner-plt-scheme@fast.cs.utah.edu

Quoting Wolfgang Hukriede:
> Makes me wander, why (zero? 0.0) is #t though...

I would say it's another practical concession. It's perhaps justifiable
by

 (zero? 0.0) -> (= 0 0.0) -> (= 0.0 0.0)
                                ^^^ coercion to inexact

Matthew

References:
- Re: (/ 0 0.0) ==> 0
  - From: Wolfgang Hukriede <whukriede@ifm.uni-kiel.de>

Prev by Date: Re: (/ 0 0.0) ==> 0
Next by Date: smart-extension --- a signed unit with meta data
Prev by thread: Re: (/ 0 0.0) ==> 0
Next by thread: smart-extension --- a signed unit with meta data
Index(es):
- Date
- Thread