Re: [q-lang-users] Exponentiation operator

[John C. <co...@cc...>]

Albert Graef scripsit:

> Ok, so that would mean that we never promote the result to a type less 
> general that the argument types. Fair enough. That's what effectively 
> happens in Haskell, too, AFAICS.
> 
> John, you argued in favour of "auto-simplification", do you think you 
> can also live without it?

I can live with it, I think, as long as all operators do appropriate
argument promotion.  In particular, the numeric comparisons should work properly
in all cases except ordering involving complex numbers.

I now think that ^ should always return a float (transcendental exponentiation)
whereas pow should accept any exact left argument and integer right argument
and return an integer or rational result.

-- 
John Cowan    <co...@cc...>     http://www.ccil.org/~cowan
But no living man am I!  You look upon a woman.  Eowyn I am, Eomund's daughter.
You stand between me and my lord and kin.  Begone, if you be not deathless.
For living or dark undead, I will smite you if you touch him.