type-systems - 是否有任何动态类型但不允许弱类型的语言？

Question

例如，在伪代码中添加一个(以前未声明的)int 和一个字符串:

x = 1;
y = "2";
x + y = z;

我见过不允许添加这两种类型的强类型语言，但它们也是静态类型的，因此不可能出现上述情况。另一方面，我见过允许上述内容并且是静态类型的弱类型语言。

是否有任何语言是动态类型但也是强类型的，因此上面的代码段无效？

Answer 1

当然:Python。

>>> a = 3
>>> b = "2"
>>> a+b
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unsupported operand type(s) for +: 'int' and 'str'
>>> b = 2
>>> a+b
5