[Chicago] Latest hack

[Dan Krol]

I have heard of a couple projects by people trying to represent Real
numbers in Coq (which is a language that makes Haskell look like Python).
It's way beyond me, other than that it seems to have a similar goal, at
least on its surface. So perhaps look that if you're interested in prior
approaches.


On Tue, Apr 9, 2013 at 7:05 AM, Jonathan Hayward <jonathan.hayward at pobox.com
> wrote:

> I have posted "ABSOLUTE Precision Arithmetic and Arbitrary Precision
> OUTPUT" at http://JonathansCorner.com/arithmetic/ .
>
> "Arbitrary precision arithmetic" usually means "something like a float,
> but you can choose the number of decimal places." The same corruption
> issues appear as with floats, but you can choose a longer fuse, in many
> cases long enough to get your work done.
>
> This is a slightly different approach, and any comments would be welcome.
>
> --
> [image: Christos Jonathan Hayward] <http://jonathanscorner.com/>
> Christos Jonathan Hayward, an Orthodox Christian author.
>
> *Amazon <http://amazon.com/author/cjshayward>* • Author Bio<http://jonathanscorner.com/author/>
>  • *Email <christos.jonathan.hayward at gmail.com>* • Facebook<http://www.facebook.com/christos.jonathan.hayward>
>  • Fan Page <http://fan.cjshayward.com/> • Google Plus<http://jonathanscorner.com/plus>
>  • LinkedIn <http://www.linkedin.com/in/jonathanhayward> • *Professional<http://jonathanhayward.com/>
> * •  Twitter <http://twitter.com/JonathansCorner> • *Web<http://jonathanscorner.com/>
> * • What's New? <http://jonathanscorner.com/>
> If you read just *one* of my books, you'll want *The Best of Jonathan's
> Corner <http://www.amazon.com/dp/1478219912>*.
>
> _______________________________________________
> Chicago mailing list
> Chicago at python.org
> http://mail.python.org/mailman/listinfo/chicago
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/chicago/attachments/20130409/5ae1b75e/attachment.html>