The object-oriented approach will give us a much more precise guideline thanks to the theory of abstract data types.

• 由于抽象的数据类型理论；面向对象的方式将会给我们一个更加精确的引导.