Julia 禁用类型";推广;(自动类型断言)

Julia 禁用类型";推广;(自动类型断言),julia,Julia,在Julia中,类型会自动“升级”,例如: 是否可以禁用此自动类型升级?我暗地里有点像 (x+y)::Int64如果不先将整数转换为公共类型,就无法将其添加到浮点。每种允许您添加混合类型数值的语言都会首先进行某种升级。在这种情况下,如果需要Int结果,可以使用Int函数转换结果:Int(8+1.0)。请注意,这将通过舍入将浮点转换为整数,而不是像许多语言中那样进行截断。您还可以在添加之前将1.0转换为Int,在这种情况下,您将添加两个整数,得到一个整数。谢谢您的回答。我同意你所写的,并意识到这一

在Julia中,类型会自动“升级”,例如:

是否可以禁用此自动类型升级?我暗地里有点像
(x+y)::Int64

如果不先将整数转换为公共类型,就无法将其添加到浮点。每种允许您添加混合类型数值的语言都会首先进行某种升级。在这种情况下,如果需要
Int
结果,可以使用
Int
函数转换结果:
Int(8+1.0)
。请注意,这将通过舍入将浮点转换为整数,而不是像许多语言中那样进行截断。您还可以在添加之前将
1.0
转换为
Int
,在这种情况下,您将添加两个整数,得到一个整数。

谢谢您的回答。我同意你所写的,并意识到这一点。我只是想知道是否有任何方法可以避免这种情况,从而获得类型稳定性,而无需手动进行大量类型断言和进行后期静态分析。
x = 8
y = 1.0
typeof(x)
typeof(y)
typeof(x + y)