[Chicago] Latest hack

[Dan Krol]

This is a really cool idea, though.


On Tue, Apr 9, 2013 at 8:25 AM, Dan Krol <orblivion at gmail.com> wrote:

> 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/59ff9c6e/attachment.html>