Subject: Simplification of products and the number 0
From: Andrey G. Grozin
Date: Mon, 27 Sep 2010 21:03:36 +0700 (NOVST)
On Mon, 27 Sep 2010, Stavros Macrakis wrote:
> ?? ? ? ? b) we want type(a*b) to be a function of type(a) and type(b),
> independently of their values (especially important for compilation)
This is not always so, logically. For example, the types of sqrt(4) and
sqrt(3) differ.
Andrey