对我来说，它几乎没有任何优势（只有一堆陷阱）。它容易出错，难以调试，进行单元测试也是麻烦的（我不知道该说什么），还会让编程初学者认为编程很简单，在项目开始时不需要设计。
我需要编译错误，我不喜欢调试动态对象为什么出错，或者......
显然，这条线上没有可计算性...强类型语言可以是图灵等效的，并且假设弱类型语言不是对教会-图灵论文的反例（如果是这样的话，想必已经广为人知），那么它们至少与弱类型语言一样强大（从计算角度来看）。
然后我们可以问，在这条线上是否存在任何时间或空间复杂度。我个人感觉答案是否定的；在RAM计算模型下，强类型和弱类型之间的区别可能并不重要（从计算复杂性的角度来看）。当然，我的判断可能是错误的。然而，强类型语言可能可以编译成更紧凑的代码，因此实际性能可能更有利于强类型语言。
在我看来，唯一明显的好处是可编程性/可写性/可读性等方面。也就是说，通过允许程序员使用更少的代码和更少的工作量来实现编写更多代码和更多工作量的语言中相同的效果，它可以使程序员的生活更轻松。然而，这也还有待商榷，因为强类型可以使提供正确性/鲁棒性保证变得更容易。
弱类型非常容易出错，因为你只能在运行时发现错误。
编译错误非常有优势，因为它们会立即显示出来，而要找到所有的运行时错误，你需要运行每个使用情况的每个场景。除非你正在开发覆盖100％的自动化测试（我还没有见过像那样的人），否则你将得到比强类型语言更脆弱的软件。
弱类型较少冗长，这意味着你输入的内容较少，但这也是一个谬论，因为在强类型语言中，你可以获得代码完成，这意味着比弱类型语言更少的按键次数。
