Burning more bridges (mostly numeric ones)
Henning Thielemann
schlepptop at henning-thielemann.de
Fri Mar 21 19:10:46 UTC 2014
Am 21.03.2014 18:22, schrieb Carter Schonwald:
> lets not talk about this while people are buried with 7.8 release
> engineering, please :)
>
> there are certainly good ideas in Henning's (amazing) work,
> HOWEVER, one thing people often forget is that theres more than one
> valid computational formalization of a given mathematical concept (which
> itself can often have a multitude of equivalent definitions).
>
> and thats even ignoring the fact that the haddocks are full of readable
> Qualified names like
> "classC
> <http://hackage.haskell.org/package/numeric-prelude-0.4.1/docs/Algebra-Algebraic.html#t:C> a
> => C a where" :)
I tried three times to make Haddock show qualifications, but it is
really frustrating. Last time I tried I despaired of GHC data
structures. Somewhere the qualification must have been recognized by GHC
but it is thrown away early and hard to restore.
More information about the Libraries
mailing list