想象一下两种语言（除了类型信息之外）确实具有完全相同的语法，但一种是静态类型，而另一种语言使用动态类型。然后，对于以静态类型语言编写的每个程序，可以通过删除所有类型信息来派生等效的动态类型程序。因为这不是必然的反过来，所以动态类型程序的类严格地大于静态类型程序的类。让我们称之为动态类型程序，对于这些程序，没有变量映射到类型，使它们静态类型“真正动态类型程序”。 / p>
由于两种语言系列都是完美的，我们可以确定，对于每个这样的真正的动态类型程序，存在一个静态类型的程序完全相同的事情，但我经常读到“有经验的程序员能够用动态类型语言编写非常优雅的代码”。因此，我问自己：真正的动态类型程序是否有任何好的例子，对于这些程序，任何等效的静态类型程序显然要复杂得多，不那么“优雅”（无论如何）这可能意味着什么？？
你知道这些例子吗？