静态类型的完整 Lisp 变体是否可能？存在这样的东西是否有意义？我相信 Lisp 语言的优点之一是其定义的简单性。静态类型会损害这个核心原则吗？
问问题
29343 次
4 回答
61
是的，这是很有可能的，尽管对于大多数惯用的 Lisp/Scheme 代码来说，标准的 HM 风格的类型系统通常是错误的选择。请参阅Typed Racket了解最近的一种语言，它是一种具有静态类型的“Full Lisp”（实际上更像是 Scheme）。
于 2010-07-24T17:51:03.257 回答
41
如果你想要的只是一种看起来像Lisp 的静态类型语言，你可以很容易地做到这一点，方法是定义一个代表你的语言的抽象语法树，然后将该 AST 映射到 S 表达式。但是，我认为我不会将结果称为 Lisp。
如果你想要一些除了语法之外实际上具有 Lisp-y 特征的东西，可以使用静态类型语言来做到这一点。然而，Lisp 有许多特性很难从中获得很多有用的静态类型。为了说明，让我们看一下列表结构本身，称为cons，它构成了 Lisp 的主要构建块。
将缺点称为列表，虽然(1 2 3)看起来很像，但用词不当。例如，它根本无法与静态类型列表（如 C++std::list或 Haskell 的列表）相提并论。这些是一维链表，其中所有单元格都属于同一类型。Lisp 愉快地允许(1 "abc" #\d 'foo). 此外，即使您扩展静态类型列表以涵盖列表列表，这些对象的类型也要求列表的每个元素都是子列表。你将如何代表((1 2) 3 4)他们？
Lisp conses 形成一棵二叉树，有叶子（原子）和分支（conses）。此外，这种树的叶子可能包含任何原子（非缺点）Lisp 类型！这种结构的灵活性使 Lisp 如此擅长处理符号计算、AST 和转换 Lisp 代码本身！
那么，您将如何在静态类型语言中对这样的结构进行建模呢？让我们在 Haskell 中尝试一下，它具有极其强大和精确的静态类型系统：
type Symbol = String
data Atom = ASymbol Symbol | AInt Int | AString String | Nil
data Cons = CCons Cons Cons
| CAtom Atom
您的第一个问题将是 Atom 类型的范围。显然，我们还没有选择足够灵活的 Atom 类型来覆盖我们想要在 conses 中使用的所有类型的对象。与其尝试扩展上面列出的 Atom 数据结构（您可以清楚地看到它很脆弱），不如假设我们有一个神奇的类型类Atomic来区分我们想要使其成为原子的所有类型。那我们可以试试：
class Atomic a where ?????
data Atomic a => Cons a = CCons Cons Cons
| CAtom a
但这行不通，因为它要求树中的所有原子都属于同一类型。我们希望它们能够因叶子而异。更好的方法需要使用 Haskell 的存在量词：
class Atomic a where ?????
data Cons = CCons Cons Cons
| forall a. Atomic a => CAtom a
但是现在你来到了问题的关键。你能用这种结构的原子做什么？它们有什么共同的结构可以建模Atomic a？这种类型可以保证什么级别的类型安全？请注意，我们没有向类型类添加任何函数，这是有充分理由的：原子在 Lisp 中没有任何共同之处。它们在 Lisp 中的超类型简称为t（即 top）。
为了使用它们，你必须想出机制来动态地将原子的值强制为你可以实际使用的东西。到那时，您基本上已经在静态类型语言中实现了一个动态类型子系统！（人们不禁要注意到Greenspun 的第十条编程规则的可能推论。）
请注意，Haskell 仅支持这种带有类型的动态子系统，与类型和Typeable 类Obj结合使用以替换我们的类，允许将任意值与其类型一起存储，并从这些类型中显式强制返回。这就是你需要使用的那种系统来处理 Lisp cons 结构的全部通用性。DynamicAtomic
您还可以做的是另一种方式，在本质上是动态类型的语言中嵌入一个静态类型的子系统。这使您可以对可以利用更严格类型要求的程序部分进行静态类型检查。例如，这似乎是 CMUCL 有限形式的精确类型检查所采用的方法。
最后，有可能拥有两个独立的子系统，动态类型和静态类型，它们使用契约式编程来帮助导航两者之间的转换。这样，该语言就可以适应 Lisp 的使用，其中静态类型检查将是一个障碍而不是帮助，以及静态类型检查将是有利的用途。这是Typed Racket采用的方法，您将从下面的评论中看到。
于 2010-07-24T19:55:52.007 回答
10
我的答案，没有高度的信心，可能是。例如，如果你看一下像 SML 这样的语言，并将它与 Lisp 进行比较，它们的功能核心几乎是相同的。因此，将某种静态类型应用于 Lisp 的核心（函数应用程序和原始值）似乎不会有太多麻烦。
不过，您的问题确实说得很完整，而我看到的一些问题是代码即数据方法。类型存在于比表达式更抽象的层次。Lisp 没有这种区别——所有的东西在结构上都是“扁平的”。如果我们考虑某个表达式 E : T（其中 T 是其类型的某种表示），然后我们将此表达式视为普通的 ol' 数据，那么这里的 T 的类型到底是什么？嗯，是种！kind 是一种更高阶的类型，所以让我们继续在我们的代码中说明这一点：
E : T :: K
你可能会看到我要去哪里。我确信通过将类型信息从代码中分离出来，可以避免这种类型的自引用，但是这会使这些类型在其风格上不是很“lisp”。可能有很多方法可以解决这个问题，尽管对我来说这不是最好的方法。
编辑：哦，所以通过谷歌搜索，我找到了Qi，它似乎与 Lisp 非常相似，只是它是静态类型的。也许这是一个开始查看他们在哪里进行更改以获取静态类型的好地方。
于 2010-07-24T02:45:52.760 回答
5
于 2010-07-24T18:34:14.010 回答