摘要：Al ser uno de los primeros lenguajes de programación teóricos para el cómputo con números reales, Real PCF demostró ser impráctico debido a los constructores paralelos que necesita para el cálculo de funciones básicas. Posteriormente, se propuso LRT como una variante de Real PCF el cual evita el uso de constructores paralelos introduciendo un constructor no determinista dentro del lenguaje. En este artículo se presenta la implementación de una calculadora para el cómputo con números reales exactos basada en LRT y se compara su eficacia con una aplicación de números reales estándar en un lenguaje de programación imperativo. Finalmente, la implementación se compara con una implementación estándar de computación de números reales exactos, basada en la representación de dígitos con signo, que a su vez se basa sobre la computación de números reales exactos.
其他摘要：As one of the first theoretical programming languages for exact real number computation, Real PCF was shown to be impractical due to the parallel construct needed for even basic operations. Later, LRT was proposed as a variant of Real PCF avoiding the parallelism by introducing a non-deterministic constructor into the language. In this paper we present an implementation of a calculator for exact real number computation based on LRT and compare its efficacy with an application of the standard use of real numbers in an imperative programming language. Finally, our implementation is compared with a standard implementation of exact real number computation based on the sign digit representation, which is also based on exact real number computation.
关键词：Lenguajes de programación; cómputo con números reales; programación funcional. Programming languages; real number computation; functional programming.
