实际上，Julia 中预定义的所有类型共同构成了一幅具有层次的类型图。这幅类型图中的类型之间都是有关系的。更具体地说，它们要么存在着直接或间接的继承关系，要么有着共同的超类型。

我们之前说过，Julia 代码中的任何值都是有类型的。或者说，Julia 程序中的每一个值都分别是其所属类型的一个实例。不仅如此，每一个值也都分别是其所属类型的所有超类型的一个实例。例如：

此外，Julia 代码中所有的值都是对象（object）。但与那些传统的支持面向对象编程的语言不同，Julia 中的对象（或者说这些对象所属的类型）并不会包含或关联任何方法。恰恰相反，一个函数会用它的衍生方法去尽量适应被操作的对象。这正是由 Julia 的多重分派机制来控制的。