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

float 存 int?

我是原PO他下面有些ADA的例子(ADA是强型态语言)X:Integer:=4; //将X变量设为整数4Y:Float; //将Y设为浮点数Y:=X; //错误!整数不能直接指派给浮点数=>这个地方我觉得奇怪的是以上这行写指派不同型态会错误那第3点又说允许一个变量存不同资料型态???

那它第三点给了什么范例

这定义是有问题的，建议去PTL板问，那边很多专门研究程式语言与数学的人