| 摘要 |
本发明提供一种用以检查在各式中介语言内之一致性的型态表现、型态检查器及编译器。可藉由采用一或更多的规则集合作为对一型态检查器之输入，这会按照各式关键项之任一者，或是该等二者以上之组合，来选择一或更多规则集合，以在一编译器内进行程式语言的型态检查作业。在这些之中，会是编译阶段、来源语言、架构及定态层级出现在所进行型态检查之语言内。然后会利用经选择的一或更多规则集合，对该语言进行型态检查。该等规则集合包括一对应于强型态检查之规则集合、一对应于弱型态检查之规则集合，及一对应于表现型态检查之规则集合。在替代方式里，一编译器可提供一型态检查器，此者可根据先前说明之关键项的其中一者或是两者以上之组合，从一较大的规则集合里，在执行时间内建构出一或更多的规则集合。 |
