论文标题
为什么您还不能（尚未）在Common LISP中编写“间隔算术”库
Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp
论文作者
论文摘要
“间隔算术”（IA）似乎是在几种应用中使用的有用数值工具。 las，当前的IA描述和拟议的标准始终是根据IEEE-754标准制定的，并且最常见的LISP实施的IEEE-754合规性的状态尚未达到标准。一个解决方案是使常见的LISP实现遵守包括IEEE/754在内的IEC标准的语言独立算术}（LIA）。尽管LIA标准为通用LISP提供了一组建议的绑定，但如果实施决定遵守这些规定，则规范文档的格式和深度不容易被通用的LISP程序员使用。此外，每个实现都有很多纬度，以提供LIA“环境”设置。如果普遍的LISP社区同意如何在实施中提供LIA合规性，那将是最有益的。在这种情况下，可以提供一套新的文档或手册，以HyperSPEC的方式，以使Common LISP程序员受益。
"Interval Arithmetic" (IA) appears to be a useful numerical tool to have at hand in several applications. Alas, the current IA descriptions and proposed standards are always formulated in terms of the IEEE-754 standard, and the status of IEEE-754 compliance of most Common Lisp implementations is not up to par. A solution would be for Common Lisp implementations to adhere to the Language Independent Arithmetic} (LIA) IEC standard, which includes IEEE/754. While the LIA standard provides a set of proposed bindings for Common Lisp, the format and depth of the specification documents is not readily usable by a Common Lisp programmer, should an implementation decide to comply with the provisions. Moreover, much latitude is left to each implementation to provide the LIA "environmental" setup. It would be most beneficial if more precision were agreed upon by the Common Lisp community about how to provide LIA compliance in the implementations. In that case, a new set of documentation or manuals in the style of the HyperSpec could be provided, for the benefit of the Common Lisp programmer.
