具有受控副作用的语义规贝 按照依赖图的任何拓扑顺序进行属性计算都可以 产生同样的副作用 L→L;,idL1in=L.in; D addType(id entry, L in) L→id add Type(id entry, L in) T 力pe 5L6 int in l 8 3 3 entry in9 10 id 2 2 enti id1 1 entt具有受控副作用的语义规则 • 按照依赖图的任何拓扑顺序进行属性计算都可以 产生同样的副作用 D int T , id3 L L L id2 id1 , 1 entry 10 2 entry 3 entry in 9 in 7 8 4 type in 5 6 L→ id addType(id.entry, L.in) L→ L1 , id L1 .in = L.in; addType(id.entry, L.in)