11、实用的Clojure可选类型探索

实用的Clojure可选类型探索

1 类型基础与isa?操作

在类型系统中，存在一些基础规则。例如，通过T - New规则可知类型σ = F是非空的，重载是基于C1 = F从类表中选择的，且最多只有一个。可空返回类型τ = ( nil S)给定后，整个表达式会重写为表达式5。T - Field规则与T - Method规则类似，但没有参数。B - Field、B - New和B - Method这些求值规则只是对其参数进行求值，并调用相关的JVM操作。

1.1 isa?操作

isa?操作是多方法调度机制的核心部分。它对于类来说是子类测试，否则是相等性测试。T - IsA规则使用IsAProps（如图8所示）这个元函数来生成isa?表达式的命题。
- 对于表达式(isa? (class x) K)，当x是关键字时为真，否则为假。使用T - IsA检查时，左子表达式的对象o = class(x)和右子表达式的类型τ = (Val K)会触发IsAProps的第一种情况，即IsAProps(class(x), (Val K)) = Kx|Kx。
- 对于表达式(isa? x :en)，当x求值为:en时为真，否则为假。使用T - IsA时，其命题ψ+|ψ−= IsAProps(x, (Val :en)) = (Val :en)x|(Val :en)x。IsAProps的第二种情况的侧条件确保处于相等性模式，如果x在(isa? x Object)中可能是类，IsAProps会使用其保守的默认情况。

isa?的操作行为由B - IsA（如图8所示）给出，IsA在第二种情况中明确处理类。

2 多方法

2