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

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 goes here", #value: 3]] 之类的内容。这会不会类似于tuple？

这些功能是否足以符合“动态语言”状态？

有趣的是，我使用 C# 的次数越来越多，而 Director/Lingo 的使用次数越来越少，但是这些天对动态语言的兴奋之情，我想知道我是否真的违背了规律。

编辑

关于 Mark Rushakoff 的回答，下面尝试使用 Wikipedia article 分析 Lingo 是否符合“动态”的条件：

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

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

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

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

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

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 分）。

Answer 2

“动态”是那些很时髦的词之一，但实际上仅意味着“我所做的事情很酷”......它没有一个精确的定义。

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

一种类型化的语言会检查您永远不会最终尝试对变量执行某些操作，而在运行程序之前无法执行此操作。无类型语言不做这种检查——它只是希望最好的，如果它有一个不适合它需要的值，就会给出一个错误。

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

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

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

String s = "hello"

当它很明显时

s = "hello"

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

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

这意味着有时唯一能知道一种语言是否被输入的方法就是知道它是如何实现的。光看源头可能并不明显。

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

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

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

Answer 3

当人们谈论“动态”编程语言时，他们通常指的是动态类型系统。我读过的关于动态类型系统是什么（以及它不是什么）的最佳定义是 Chris Smith 的优秀文章 What to Know Before Debating Type Systems。

一旦您阅读了那篇文章，我认为您应该知道任何给定语言是否符合静态或动态类型的要求。

Answer 4

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

"Dynamic programming language" 是一个定义相当松散的术语，但我认为如果您必须将其限制为一个限定符，那将是运行时反射。如果您可以进行反射，您可能可以执行 Wikipedia 文章中列出的其他限定符（评估、对象运行时更改、闭包、宏...）。

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