[Haskell-cafe] Comments on Haskell 2010 Report
Richard O'Keefe
ok at cs.otago.ac.nz
Mon Jul 12 19:51:20 EDT 2010
On Jul 11, 2010, at 9:20 PM, Daniel Fischer wrote:
>>
>> * Prove the binomial theorem *without* the convention 0**0 := 1
>
> Except that in the binomial theorem, one uses (^) and not (**).
> For (^), setting x ^ 0 = 1 is, as far as I'm aware, uncontested.
This is not so: the exponent in the binomial theorem is a
real number, not an integer.
See http://mathworld.wolfram.com/BinomialTheorem.html
Real numbers turn up in surprising places. I imagine most
of us are familiar with the derivative operator D, and with
iterations of it like second derivatives. But it's not just
natural number powers of D that make sense; there are
fractional derivatives, and D**(1/2) does find uses.
More information about the Haskell-Cafe
mailing list