But assuming the types are okay, the code path is chosen first by a polymorphic dispatch, and second by procedural switch.

但是假定类型没问题，那么代码路径首先由多态分派选中，其次由过程切换选中。

youdao

A time at which delegates indicate whether they do or do not support a proposed action for the committee. There are two types: procedural and substantive.

代表们表示是否支持或者不支持一个针对委员会提出的行动的时刻。有两种类型：程序性和实体性。

youdao

Procedural abstraction, abstract data types, and, most recently, objects and components are all examples of such abstractions.

过程抽象、抽象数据类型、以及目前比较常用的“对象”和“组件”都属于这样的抽象机制。

youdao