[Haskell-cafe] Mystery of an Eq instance
allbery.b at gmail.com
Sat Sep 21 18:41:00 CEST 2013
On Sat, Sep 21, 2013 at 12:35 PM, Bardur Arantsson <spam at scientician.net>wrote:
> On 2013-09-20 18:31, Brandon Allbery wrote:
> > unless you have a very clever representation that can store
> > in terms of some operation like sin(x) or ln(x).)
> I may just be hallucinating, but I think this is called "describable
> numbers", i.e. numbers which can described by some (finite) formula.
> Not sure how useful they would be in practice, though :).
I was actually reaching toward a more symbolic representation, like what
brandon s allbery kf8nh sine nomine associates
allbery.b at gmail.com ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe