比起不具有此项编译时检查功能的动态类型语言来说,静态类型语言更加稳定且具有更佳的性能。然而静态类型语言存在一个严重的局限性:前期绑定。一些动态类型语言(如Ruby、Smalltalk和Self)允许延迟绑定,它们可以实现另一个层次的编程功能。本文使用 Ruby、Smalltalk和一个叫做Self的Smalltalk的派生语言的编程例子探讨了延迟绑定的好处。