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