如何判断一种语言是否是“动态语言”？

Question

我试图更好地理解语言“动态”的真正含义。我对 Lingo 有相当多的经验，它是 Adob​​e（以前称为 Macromedia）Director 产品线的脚本语言，我只是想知道它是否会被视为“动态语言”。

对我来说，处理变量和列表的方式似乎非常“动态语言”。

对于变量，您只需编写 foo = 3 或 bar = "Hello World"。您无需将变量声明为 int 或 string——它会按原样计算出来。

对于列表，您可以编写类似 miscCollection = [3, "Hello World", #helloWorld, ["Embedded List", "Goes Here", 3], [#phrase: "Property List gone Here", #值：3]]。这不是类似于元组吗？

这些功能是否足以获得“动态语言”地位？

有趣的是，我更多地使用 C#，而更少地使用 Director/Lingo，但随着这些天对动态语言的兴奋，我想知道我是否真的在违背常规。

编辑

关于下面Mark Rushakoff的回答，这里尝试使用此维基百科文章：

1. Eval - Lingo 具有 do 和 value 关键字。 do 将执行整个命令，例如 do "foo = 23" 或 do "foo = sum(20, 3)"。 value 尝试将字符串转换为数字，但它不仅仅是一个解析运算符 - 它实际上可以将变量的字符串表示形式转换为其数字，例如，假设 foo = 23，语句 value("foo") 将计算为 23。

2. 高阶函数 - 如果我理解正确的话，这基本上就是我所说的C# 中的“委托”。据我所知，Lingo 并不直接支持这一点，尽管您可以创建一个具有函数的类型（称为“父脚本”）并传递该类型的实例。

3. 闭包 - 据我所知，不支持此操作。

4. 继续 - 据我所知，不支持此操作。

5. 反思 - 至少在某种意义上，是的。实际上，您使用字符串创建类型的新实例，例如，fooInstance = script("Foo").new(bar)。还可以将类型的实例转换为包含类型名称的字符串（因此您可以模仿 C# 的 GetType() 功能）。您还可以在不知道属性名称的情况下查询类型的属性（例如，通过索引查找属性）并通过索引找出属性的名称。

6. 宏 - 维基百科文章描述宏的方式，我不这么认为。然而，可以在运行时编辑脚本，所以也许这很重要。

因此，看起来 Lingo 在动态功能方面得分为 2 到 3（满分 6 分），但我对闭包和延续还不够清楚，无法确定 Lingo 不支持它们。我想我不知道该得出什么结论。欢迎评论。

Answer 1

类型推断（例如您的 foo = 3 和 bar = "Hello World" 示例）并不意味着动态语言。 C# 中的 var 关键字在编译时推断变量类型，Haskell 还可以对所有变量使用隐式类型，即使在已编译的程序中也是如此。

“动态编程语言”是一个定义相当松散的术语，但我认为如果你必须限制如果将其传递给一个限定符，则这将是运行时反射。如果您可以进行反射，那么您可能可以执行维基百科文章中列出的其他限定符（eval、对象运行时更改、闭包、宏...）。

我对 Lingo 语言一无所知，但我想说，通常来说，取消某种语言的动态性比限定一种语言更容易。 Lingo 可以执行维基百科文章中的任何/所有限定符吗？如果不是，那么它可能不是动态的。如果它可以做任何事情，那么它可能至少是“足够动态”的。

Answer 2

“动态”是很流行的词之一，但实际上的意思只不过是“我所做的很酷”......它没有精确的定义。

话虽如此，我可以回答您有关类型的问题，或者至少尝试更好地解释类型化语言和非类型化语言（有些人称之为动态或动态类型化）语言之间的区别。

类型化语言会检查您永远不会尝试使用变量执行在运行程序之前无法执行的操作。无类型语言不会执行此检查 - 它只是希望得到最好的结果，并且如果它具有不适合其需要的值，则会给出错误。

这是两个极端。就像生活中的一切一样，在实践中语言介于两个理论上的极端之间。因此，有时很难说一种语言是类型化的还是非类型化的——通常你只能说“X 语言在编译时比 Y 语言有更好的类型检查，因为这些错误在 X 中被捕获，但在 Y 中却没有：... ”

考虑到这个定义，您可能会担心 (1) 类型化语言在程序中需要更多文本（因为您需要说明每个值的类型）以及 (2) 类型化语言可能会不必要地限制您可以执行的操作（因为类型系统不够智能，无法让您看到的东西起作用）。

这两者都可能是问题。但随着类型化语言变得更好，这两个问题都变得不那么重要了。例如，为什么有这样的代码：

String s = "hello"

当很明显

s = "hello"

“s”必须是字符串时？像这样“智能”的语言，你不需要说出所有类型是什么，但它们仍然会被检查，通常被称为“Hindley Milner”，因为这些人是第一个弄清楚如何做到这一点的人详细。

因此，当您查看为具有 Hindley Milner 类型系统的语言编写的程序时，它可能看起来没有类型。但这是一个错误。在程序运行之前，它仍然会计算出所有变量的所有类型必须是什么，并检查您是否不会因尝试使用错误类型执行某些操作而出现任何错误（我认为这太棒了 - 它接近于一种人工智能......）

这意味着有时了解一种语言是否是类型化的唯一方法是了解它是如何实现的。仅仅看源码可能并不明显。

编辑：我刚刚重新阅读了上面的内容，我本来可以更清楚一点。我试图区分具有类型系统的语言和不具有类型系统的语言。类型系统包括两部分：类型本身和检查类型是否正确的逻辑。

我称之为“无类型”（或动态类型）的语言确实有类型。例如，在 Python（一种无类型的动态语言）中，字符串和整数之间仍然存在差异。但他们没有额外的逻辑来在程序运行之前检查程序。因此更准确的说法是它们有类型，但没有类型系统。

相比之下，正如我所说，“类型化”语言会在程序运行之前进行检查，因此不仅必须具有类型，还必须具有完成该工作的额外逻辑。

Answer 3

当人们谈论“动态”编程语言时，他们通常指的是动态类型系统。我读过的关于动态类型系统是什么（以及它不是什么）的最佳定义是 Chris Smith 的优秀文章 在讨论类型系统之前需要了解什么。

一旦您阅读了这篇文章，我认为您应该对任何给定语言是否符合静态类型或动态类型的标准有自己的答案。

Answer 4

我想表明 Lingo 是一种动态语言。

我已经为 Lingo 编写了 LingoF 函数式编程框架。
这个框架完全是用Lingo编写的，没有xtra，没有使用低级组件，所以如果语言不是动态的，就不可能开发这样的框架。

考虑到该框架，以下是我对 Lingo 作为动态语言的评估：

1 - Eval - Lingo 有 do 和 value 关键字。另外，您可以在执行时编译脚本。请参阅 LingoF 的功能“Lingo 表达式”。

2 - 高阶函数 - LingoF 展示了在 Lingo 中广泛使用高阶函数的可能性。

3 - 闭包 - LingoF 再次展示了如何在 Lingo 中使用闭包。

4 - 延续 - LingoF 语法助手是使用延续技术定义的。可以用连续传递风格编写函数。检查这个（取自 LingoF 模块）：

on public_factorialCPS_2
on fac me, n,k
  x = LingoF().var()
  if ( n = 0 ) then return k [1] 
  else return me.factorialCPS[$(#-,n,1) ] [ LingoF().fun(x) [ k [ $(#*,n,x) ]  ] ]
end

5 - 反思 - 已经回答是，我同意。例如，LingoF 模块管理器是使用 DanM 提到的 Lingo 的反射功能来实现的。

6 - 宏 - 我将不得不在这个领域做更多的研究。
由于Director 支持链接脚本（存储在外部文本文件中的脚本），因此可以实现某种宏。也许宏管理器可以拦截一些事件，例如 startMovie （展开它们）和 stopMovie （再次压缩它们）。
另一种可能性是使用字段作为脚本并在脚本成员中扩展它们，我确信它会正常工作。

所以我的动态特征得分是 5 到 6 分（满分 6 分）。