Functional - Interval library + arbitrary precision library + functional language = something wort

You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author

Interval library + arbitrary precision library + functional language = something wort

patrick.crenshaw@gmail.com

2007-08-14, 10:06 pm

Forgive me if this is something that has been done, or worse,
something that has been done and was declared dumb, but here is an
idea I had:

If you want the output of a function to have a certain width interval
(a certain numerical stability), then couldn't a compiler for a
functional programming language use an interval type along with (at
the appropriate places) an arbitrary precision library to accomplish
this? All the programmer would have to do is state the desired width
of the output interval if he or she wanted to use this ability, and
not state it otherwise.

It seems to me that lots of the work that goes into creating a
numerical simulation could be avoided by doing this.

Sponsored Links