Common Lisp是静态还是动态类型？如果两者如何完成？ [关闭]

作者: 哇塞
发布时间: 2025-02-06 06:01:15 (1月前)
转自：

2 条回复

0#
回复此人
google你他吗 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 根据Luca Cardelli和Peter Wegner关于类型的开创性论文：关于理解类型，数据抽象和多态性，ACM Computing Surveys，17（4）：471-522,1985， </p> <BLOCKQUOTE> <P> 可以通过静态程序分析确定每个表达式的类型的编程语言被称为静态类型。 </p> </BLOCKQUOTE> <P> Common Lisp不是这样。例如，考虑以下合法的函数定义： </p> <pre> <code> (defun f(g x) (funcall g x)) </code> </pre> <P> 表达式的类型 <code> (funcall g x) </code> 函数体内无法以任何方式静态推断或确定。 </p> <P> 但是，在Common Lisp中，如果需要，可以指定函数的参数类型。例如： </p> <pre> <code> (defun f (g x) (declare (type integer x) (type (function (integer) float) g)) (funcall g x)) </code> </pre> <P> 在这种情况下，编译器可以推断出类型 <code> (funcall g x) </code> 是 <code> float </code> 。 </p> <P> 所以，我认为我们可以说Common Lisp不是通常意图的静态类型语言，而是它 <EM> 能够 </EM> 如果提供适当的类型信息，则可以选择使用。 </p> </DIV>

编辑

登录后才能参与评论