ppt课件-data abstractionand state abstract data types(3.7) state（数据abstractionand状态抽象数据类型(3.7)的状态）.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * C. Varela * Types of typing Languages can be weakly typed Internal representation of types can be manipulated by a program e.g., a string in C is an array of characters ending in ‘\0’. Strongly typed programming languages can be further subdivided into: Dynamically typed languages Variables can be bound to entities of any type, so in general the type is only known at run-time, e.g., Oz, SALSA. Statically typed languages Variable types are known at compile-time, e.g., C++,