化「有」而（（（（「列」于（「整数」合「整数」））合（「列」于（「字符串」合「字符串」合「整数」））合（「列」于（「整数」合「整数」合（「列」于「网页指令」）））合（「列」于（「字符串」合「整数」）））合（「列」于（「整数」合「整数」））合（「列」于「网页数据声明」））合（「列」于（「爻」合「整数」）））

文言：函数引用存其具体型，可空与非空有别，未知型不冒实值。汉语：验证直接引用调用、具体类型选择、结构等价、空值陷阱、导入与递归，以及不可达选择的未知型传播。