Julia 类型不稳定性的抛出错误

当我用julia编写代码时，我倾向于声明我使用的每个变量的类型。但偶尔我会忘记一件奇怪的事。更重要的是，有时编译器无法检测到类型，因为代码不理想。这意味着我必须手动检查类型的不稳定性

---

这让我感到疑惑。如果存在类型不稳定的变量，我可以告诉编译器只抛出一个错误吗？

不完全符合您的要求，但请查看Traceur.jl：另外，

@experted

中的

宏是一个部分解决方案（它将捕获返回类型不稳定）。声明较少的类型可能是一种方法，因为它允许为更多类型签名编译单个函数。Julian方法是使用保留函数形状/含义的最通用类型（例如，指定标量与数组的类型）。但是，每个人都有自己的风格，其他人可能会有不同的看法。