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