在面向对象编程中,函数 通过定义拥有 方法的对象来隐式地定义。对象从它们的父母继承方法。定义一个类别就像是定义一个结构,但更加啰嗦。一个共享的槽属于一整个类别。一个类别的祖先被排序成一个优先级列表。理解优先级算法最好的方式就是通过视觉。一个通用函数由一个给定名称的所有方法所组成。一个方法通过名称及特化参数来识别。参数的优先级决定了当调用一个通用函数时会使用哪个方法。在操作符方法组合机制中,所有的主方法都被视为某个操作符的参数。