请问我唸书时念到有关于强型态语言的定义,撷取部分内容如下:
强势型态程式语言符合下列要求：
1. 每一个变量都静态地系结到单一资料型态
2. 变量资料型系结后，在程式执行过程不能修改其资料型态
3. 当允许一个变量储存不同资料型态之值时，其值的型态可以静态地或动态地检查出来
4.....
5....
请问这1、2点和第3点不是互相矛盾吗?前2点说一个变量只能是单一资料型态，
且型态不能修改，第3点又说允许一个变量存不同资料型态
请问有谁可以告诉我呢?
关于第3点可否举例让我明白呢?
感激不尽…