当前位置: X-MOL 学术arXiv.cs.PL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp
arXiv - CS - Programming Languages Pub Date : 2020-03-08 , DOI: arxiv-2003.03831
Marco Antoniotti

"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.

中文翻译:

为什么你不能(还)用 Common Lisp 写一个“区间算术”库

“区间算术”(IA) 似乎是一种有用的数值工具,可用于多种应用。唉,目前的 IA 描述和提议的标准总是根据 IEEE-754 标准制定的,大多数 Common Lisp 实现的 IEEE-754 合规性状态并没有达到标准。一个解决方案是让 Common Lisp 实现遵守语言无关算术} (LIA) IEC 标准,其中包括 IEEE/754。虽然 LIA 标准为 Common Lisp 提供了一组提议的绑定,但如果实现决定遵守规定,则 Common Lisp 程序员不易使用规范文档的格式和深度。此外,每个实现都有很大的自由度来提供 LIA“环境”设置。如果 Common Lisp 社区就如何在实现中提供 LIA 合规性达成一致意见,那将是最有益的。在这种情况下,可以提供一组新的 HyperSpec 风格的文档或手册,以利于 Common Lisp 程序员。
更新日期:2020-04-22
down
wechat
bug