Dear Carter,
Although I'm not an active Haskell programmer, I'd like to add my
support for you to write up your GSOC application.
In the first five chapters of the book /Elements of Programming/
(Addison-Wesley, 2009), my coauthor Alex Stepanov and I undertook a
somewhat similar effort, only
On Thu, Apr 8, 2010 at 8:51 PM, Gregory Crosswhite
wrote:
> First of all, it isn't clear to me that NaN /= NaN, since in ghci the
> expression "1.0/0.0 == 1.0/0.0" evaluates to True. But even if that were the
> case, I would call that more of a technicality then meaning that equality is
> not
On Apr 8, 2010, at 6:53 PM, Daniel Fischer wrote:
> Am Freitag 09 April 2010 02:51:23 schrieb Gregory Crosswhite:
>
> Yes, but 1/0 isn't a NaN:
>
> Prelude> isNaN (1.0/0.0)
> False
> Prelude> isNaN (0.0/0.0)
> True
> Prelude> 1.0/0.0
> Infinity
> Prelude> 0.0/0.0
> NaN
> Prelude> (0.0/0.0) == (
Am Freitag 09 April 2010 02:51:23 schrieb Gregory Crosswhite:
> On Apr 8, 2010, at 5:30 PM, Casey McCann wrote:
> > On Thu, Apr 8, 2010 at 7:58 PM, wren ng thornton
> > wrote:
> >
> > Exactly. NaN /= NaN
>
> [...]
>
> > Indeed. NaN means that equality is not reflexive for floats in
> > general, on
On Apr 8, 2010, at 5:30 PM, Casey McCann wrote:
> On Thu, Apr 8, 2010 at 7:58 PM, wren ng thornton wrote:
>
> Exactly. NaN /= NaN
[...]
> Indeed. NaN means that equality is not reflexive for floats in
> general, only a subset of them.
First of all, it isn't clear to me that NaN /= NaN, since i
On Thu, Apr 8, 2010 at 7:58 PM, wren ng thornton wrote:
>> They don't? I am pretty sure that a floating point number is always equal
>> to itself, with possibly a strange corner case for things like +/- 0 and
>> NaN.
>
> Exactly. NaN /= NaN.
>
> Other than that, I believe that "let x = ... in x =
Gregory Crosswhite wrote:
On Apr 8, 2010, at 12:25 PM, Casey McCann wrote:
Seriously, floating point so-called "numbers" don't even have
reflexive equality!
They don't? I am pretty sure that a floating point number is always equal to
itself, with possibly a strange corner case for things li
On Apr 8, 2010, at 12:25 PM, Casey McCann wrote:
> Seriously, floating point so-called "numbers" don't even have
> reflexive equality!
They don't? I am pretty sure that a floating point number is always equal to
itself, with possibly a strange corner case for things like +/- 0 and NaN.
Cheers,
On Thu, Apr 8, 2010 at 3:25 PM, Casey McCann wrote:
> On Thu, Apr 8, 2010 at 2:09 PM, Edward Kmett wrote:
> > Template Haskell can help dull the pain, but the result seems hardly
> idiomatic.
>
> Well, since this is dealing with types and type classes, much of the
> required boilerplate could al
On Thu, Apr 8, 2010 at 2:09 PM, Edward Kmett wrote:
> Template Haskell can help dull the pain, but the result seems hardly
> idiomatic.
Well, since this is dealing with types and type classes, much of the
required boilerplate could also be straightforwardly derived in full
generality using type-
Hi Carter,
You might be interested in the 'monoids' package on hackage, which I
constructed for my own research.
http://hackage.haskell.org/package/monoids-0.1.36
This package largely covers the first half of your proposal, and provides
machinery for automatic differentiation of monoids over bim
Hi Carter
The proposal is interesting - but maybe there is not a great community
benefit to a 'covers everything' library considering Henning
Thielemann and others 'numeric prelude' already exists:
http://hackage.haskell.org/package/numeric-prelude
As a not especially mathematically inclined Has
Hello All,
I would like to know if there is enough community interest in following gsoc
project proposal of mine for me to write up a proper haskell gsoc app for it
. (and accordingly if there is a person who'd be up for having the mentoring
role)
Project: Alternate numerical prelude with a typec
13 matches
Mail list logo