似乎每个人最近都在使用动态的，未编译的潮流。我主要只使用编译的静态类型语言（C，Java，.Net）工作。我对动态语言的经验是诸如ASP（Vb脚本），JavaScript和PHP之类的东西。在考虑动态语言时，使用这些技术给我留下了不好的印象。直到运行时，编译器通常会捕获诸如拼写错误的变量名以及为变量分配错误类型的值之类的东西。即使那样，您可能也不会注意到错误，因为它只是创建了一个新变量，并分配了一些默认值。我也从未见过intellisense在动态语言中能很好地工作，因为变量没有任何显式类型。
我想知道的是，人们对动态语言有何吸引力？就动态语言允许您完成的事情或在编译语言中很难做到的事情而言，主要优势是什么？在我看来，我们早就决定了，诸如未编译的ASP页面引发运行时异常之类的事情是一个坏主意。为什么会有这种类型的代码复活？至少在我看来，为什么Ruby on Rails看起来真的不像十年前用ASP无法完成的任何事情？
Answers:
我认为原因是人们习惯了具有非常有限且缺乏表现力的类型系统的静态类型语言。这些是Java，C ++，Pascal等语言，它们不再朝着更具表现力的类型系统和更好的类型推断的方向发展（例如在Haskell中，甚至在某种程度上甚至是SQL），有些人喜欢保持所有“类型”信息都在他们的头脑中（以及在他们的测试中），并且完全消除了静态类型检查。
这到底能买到什么，目前尚不清楚。关于类型检查的观念很多，我最常遇到的是这两个。
谬误：动态语言不太冗长。误解是类型信息等于类型注释。这是完全不正确的。我们都知道类型注释很烦人。机器应该能够弄清楚这些东西。实际上，在现代编译器中也是如此。这是两行Haskell中的静态类型的QuickSort（来自haskell.org）：
qsort [] = []
qsort (x:xs) = qsort (filter (< x) xs) ++ [x] ++ qsort (filter (>= x) xs)
这是LISP中的动态类型的QuickSort（来自swisspig.net）：
(defun quicksort (lis) (if (null lis) nil
(let* ((x (car lis)) (r (cdr lis)) (fn (lambda (a) (< a x))))
(append (quicksort (remove-if-not fn r)) (list x)
(quicksort (remove-if fn r))))))
Haskell示例伪造了静态类型的假设，因此冗长。LISP示例伪造了冗长的假设，因此是静态类型的。在打字和冗长之间的任何方向都没有暗示。您可以放心地将其排除在外。
谬论：静态类型的语言必须进行编译，而不是解释。再次，不是真的。许多静态类型的语言都有解释器。有Scala解释器，Haskell的GHCi和Hugs解释器，当然，SQL是静态类型的，而且解释的时间比我活着还长。
您知道，也许充满活力的人群只是希望自由而不必对自己在做什么进行认真思考。该软件可能不正确或功能强大，但不一定必须如此。
就我个人而言，我认为那些放弃类型安全以购买一些暂时性自由的人既不应该享有自由，也不应该享有类型安全。
不要忘记，您需要在单元测试中编写10倍的代码覆盖率以替换编译器的工作：D
我去过那里，使用动态语言来做，但我绝对没有优势。
在阅读他人的回答时，动态语言似乎或多或少地包含三个参数：
1）代码不太冗长。我认为这无效。某些动态语言不如某些静态语言那么冗长。但是F＃是静态类型的，但是那里的静态类型并没有添加太多（如果有的话）代码。尽管它是隐式键入的，但这是另一回事。
2）“我最喜欢的动态语言X具有我最喜欢的功能特征Y，因此动态性更好”。不要将功能性和动态性混为一谈（我不明白为什么要这么说）。
3）在动态语言中，您可以立即看到结果。新闻：您也可以在Visual Studio（自2005年起）中使用C＃做到这一点。只需设置一个断点，在调试器中运行程序，然后在调试时修改程序即可。我一直这样做，并且效果很好。
我本人是静态类型的坚定拥护者，其主要原因之一是：可维护性。我有一个包含两万行JavaScript的系统，由于（不存在的）编译器不会告诉我变量重命名弄乱了什么，所以我想做的任何重构都将花费半天左右的时间。那就是我自己写的代码，IMO的结构也很不错。我不想让别人负责编写等效的动态系统。
我想我会为此而被否决，但我会抓住机会。
VBScript很烂，除非您将其与另一种VB风格进行比较。PHP是可以的，只要您记住它是一种过长的模板语言即可。现代Javascript很棒。真。吨的乐趣。只是远离所有标记为“ DHTML”的脚本。
我从未使用不允许运行时错误的语言。恕我直言，这在很大程度上是一条红线：编译器不会捕获所有错别字，也不会验证意图。当您需要显式类型时，显式键入非常有用，但是在大多数情况下，不需要。在此处搜索generics有关是否使用无符号类型是否是索引变量的一个不错选择的问题-在很多情况下，这些东西会妨碍您的工作，并且使人们在有时间的时候不停地旋转。
但是，我还没有真正回答您的问题。动态语言为何具有吸引力？因为过了一会儿，编写代码变得乏味，而您只想实现算法。您已经坐好了，用笔解决了所有问题，图解了潜在的问题场景并证明了它们可以解决的，剩下要做的唯一事情就是编写二十行实现代码和两百行样板代码以进行编译。然后，您意识到所使用的类型系统并不能反映您的实际工作，但是其他人对您可能会做的事情却过于抽象正在做的事情却过于，而您很早以前就放弃了编程，以至于对其进行细微的调整。强迫性的，甚至会使虚构的侦探阿德里安·蒙克（Adrian Monk）感到羞耻。
这时候，你的去得到贴满开始在动态语言寻找严重。
我是一名全职的.Net程序员，深深扎根于静态C＃的阵痛。但是，我喜欢现代JavaScript。
一般来说，我认为动态语言可以让您表达自己的意图比静态类型的语言可以更简洁地，因为在很多情况下显而易见的时候，您花费较少的时间和空间来定义要表达的内容的基本要素。
我认为动态语言也有多种。我不想回到用VBScript编写经典ASP页面的过程。为了有用，我认为动态语言需要在其核心处支持某种集合，列表或关联构造，以便可以表达对象（或对象的传递），并允许您构建更复杂的构造。（也许我们都应该使用LISP编写代码……这是个玩笑……）
我认为在.Net圈子中，动态语言会受到不良的说唱，因为它们与VBScript和/或JavaScript相关联。由于Kibbee所说的许多原因，VBScript只是一场噩梦，任何人都记得使用CLng在VBScript中强制类型，以确保获得足够的位数来容纳32位整数。另外，我认为JavaScript仍被视为下拉菜单的浏览器语言，对所有浏览器而言，编写方式都不同。在这种情况下，问题不是语言，而是各种浏览器对象模型。有趣的是，C＃越成熟，它看起来就越动态。我喜欢Lambda表达式，匿名对象和类型推断。每天感觉都更像JavaScript。
这是两行Haskell（来自haskell.org）中的静态类型的QuickSort：
qsort [] = [] qsort (x:xs) = qsort (filter (< x) xs) ++ [x] ++ qsort (filter (>= x) xs)这是LISP中的动态类型的QuickSort（来自swisspig.net）：
(defun quicksort (lis) (if (null lis) nil (let* ((x (car lis)) (r (cdr lis)) (fn (lambda (a) (< a x)))) (append (quicksort (remove-if-not fn r)) (list x) (quicksort (remove-if fn r))))))
我认为您在选择语言时会偏颇。众所周知，Lisp太重了。Python与Haskell更为接近。
if len(L) <= 1: return L
return qsort([lt for lt in L[1:] if lt < L[0]]) + [L[0]] + qsort([ge for ge in L[1:] if ge >= L[0]])
此处的Python代码
对我来说，动态语言的优势在于，由于较少的代码和功能技术（例如Ruby的代码块和Python的列表理解），代码变得更具可读性。
但是后来我有点想念编译时检查（确实发生了打字错误）和IDE自动完成的情况。总体而言，较少的代码和可读性为我带来了回报。
另一个优点是该语言通常具有解释性/非编译性。更改一些代码，然后立即查看结果。在开发过程中确实节省了时间。
最后但并非最不重要的一点是，我喜欢这样一个事实，您可以启动控制台并尝试一些不确定的事情，例如从未使用过的类或方法，并查看其行为。控制台有很多用途，我只供您弄清楚。
您反对动态语言的说法是完全正确的。但是，请考虑以下事项：
我也觉得刚开始离开安全的静态输入世界有点吓人，但是对我来说，优点远大于缺点，而且我从不回头。
我相信，从绝对意义上来说，对动态类型语言的“新发现的爱”与静态类型语言的好坏相比，与某些动态语言的普及程度没有多大关系。Ruby on Rails显然是引起动态语言复兴的大现象。使rails如此流行并从静态阵营中产生大量转换的原因主要是：非常简洁和DRY的代码和配置。与需要大量XML配置的Java Web框架相比，尤其如此。许多Java程序员（也包括精明的Java程序员）都进行了转换，甚至还传播了红宝石和其他动态语言。对我来说，三个独特的功能使像Ruby或Python这样的动态语言更加简洁：
所有这三个功能并非动态语言所独有，但在当今流行的静态语言：Java和C＃中肯定不存在。您可能会说C＃的委托人中有＃2，但我会说它根本没有被广泛使用-例如列表操作。
至于更高级的静态语言... Haskell是一种很棒的语言，它具有＃1和＃2，尽管它没有＃3，但是它的类型系统非常灵活，以至于您可能不会发现缺少元数据限制。我相信您可以在编译时使用语言扩展在OCaml中进行元编程。Scala是最近才添加的，非常有前途。.NET阵营的F＃。但是，这些语言的用户很少，因此他们并没有真正为编程语言领域的这一变化做出贡献。实际上，我非常相信Ruby的流行，除了其他动态语言之外，还以积极的方式影响了Haskell，OCaml，Scala和F＃等语言的流行。
我对动态语言的欣赏与它们的功能密切相关。Python的列表理解，Ruby的闭包和JavaScript的原型对象都是这些语言非常吸引人的方面。所有这些功能还具有一流的功能，这是我再也看不到的生活。
我不会以相同的方式对PHP和VB（脚本）进行分类。对我来说，那些主要是命令式语言，具有您建议的所有动态键入缺点。
当然，您不会获得相同级别的编译时检查（因为没有编译时），但是我希望静态语法检查工具会随着时间的发展而发展，至少可以部分解决该问题。
针对动态语言指出的优势之一是仅能够更改代码并继续运行。无需重新编译。在VS.Net 2008中，调试时实际上可以更改代码并继续运行，而无需重新编译。随着编译器和IDE的发展，使用动态语言的优势和其他优势可能会消失。
啊，当我发布类似问题时，我没有看到此主题
除了良好的功能之外，这里提到的其他有关动态语言的人们，我认为每个人都忘记了一个最基本的东西：元编程。
编写程序。
通常，以编译语言很难做到，例如，.Net。为了使其工作，您必须制作各种曼波舞，通常以运行慢大约100倍的代码结束。
大多数动态语言都有一种方法可以进行元编程，这使我始终如一—能够在内存中创建任何类型的代码并将其完美地集成到我的应用程序中。
例如，要在Lua中创建计算器，我要做的就是：
print( loadstring( "return " .. io.read() )() )
现在，尝试在.Net中执行此操作。
我喜欢动态（类型化，因为它似乎是线程的重点）语言的主要原因是，我在工作环境中使用的语言要远远优于我所使用的非动态语言。C，C ++，Java等……它们都是完成实际工作的可怕语言。我很想看到一种隐式类型的语言，它与许多动态类型的语言一样自然。
话虽这么说，但是某些类型的构造在动态类型语言中却是惊人的。例如，在Tcl中
lindex $mylist end-2
您传递“ end-2”以指示所需索引的事实对于读者而言简明扼要且显而易见。我还没有看到实现这种效果的静态类型语言。
我认为这种说法有点愚蠢：“编译器通常会捕获诸如拼写错误的变量名以及为变量分配错误类型的值之类的事情，直到运行时才发生”。 PHP开发人员，直到运行时，我才看不到错误键入变量的情况，但对我而言，BUT运行时是步骤2，在C ++中（链接和编译后），它是步骤3，在C ++中。
更不用说在我的代码准备好运行时，从保存到保存需要花费几秒钟的时间，而在编译语言中，这可能要花几个小时。如果这听起来有点生气，我感到很抱歉，但是我有点讨厌人们将我视为二等程序员，因为我不必编译我的代码。
该论据比这更复杂（阅读Yegge的文章“ Is Weak Typing Strong Enough”获得有趣的概述）。
动态语言也不必缺少错误检查-C＃的类型推断可能是一个示例。同样，C和C ++具有糟糕的编译检查，并且它们是静态类型的。
动态语言的主要优点是：a）能力（不必一直使用）和b）博伊德迭代定律。
后一个原因是巨大的。
尽管我还不是Ruby的忠实拥护者，但我发现动态语言确实是非常棒且强大的工具。
没有类型检查和变量声明的想法并不是一个太大的问题。诚然，您必须等到运行时才能捕获这些错误，但是对于有经验的开发人员而言，这并不是真正的问题，当您犯错时，通常可以轻松地将其修复。
它还迫使新手更仔细地阅读他们正在写的内容。我知道学习PHP可以使我更加专注于实际输入的内容，即使使用编译语言，也可以改善我的编程。
优秀的IDE将为您提供足够的智能感知，让您知道变量是否已“声明”，并且它们还会尝试为您进行某种类型推断，以便您可以分辨出变量是什么。
我认为动态语言可以实现的功能真正使它们变得非常有趣。当然，您可以使用编译语言执行相同的操作，但是需要更多代码。像Python和PHP这样的语言使您可以在更少的时间内进行开发，并且在大多数情况下可以更快地获得功能代码库。
作为记录，我是.NET的专职开发人员，并且我喜欢编译语言。我只在业余时间使用动态语言来了解有关它们的更多信息，并成为一名更好的开发人员。
C！有很多方法可以射杀自己的脚，但是却经常被人们使用和喜爱。
我认为我们需要不同的语言，这取决于我们要实现的目标或要解决的问题。如果我们想要一个应用程序可以通过互联网从数据库中创建，检索，更新和删除记录，那么与使用静态类型的语言从头开始编写ROR代码（使用脚手架）相比，我们最好不要这样做。使用动态语言可以使您摆脱思考的烦恼
解决更接近业务需求的问题，例如
无论如何，松散类型语言的一个优点是，如果它的行为与预期的一样，我们就不必在意它是什么类型。这就是我们在动态类型语言中进行鸭式输入的原因。这是一个很棒的功能，我可以根据需要使用相同的变量名来存储不同类型的数据。同样，静态类型的语言迫使您像机器一样思考（编译器如何与代码交互，等等），而动态类型的语言（尤其是ruby / ror）则迫使机器像人一样思考。
这些是我用来证明我的工作和动态语言经验的一些论点！
FWIW，在大多数应用程序上编译不需要花费数小时。我已经处理了200-500k行之间的应用程序，这些程序需要几分钟的时间来编译。当然不是几个小时。
我自己更喜欢编译语言。我觉得调试工具（根据我的经验，可能并非对所有情况都适用）更好，而IDE工具则更好。
我喜欢将Visual Studio附加到正在运行的进程。其他IDE可以做到吗？也许吧，但我不知道他们。我最近一直在做一些PHP开发工作，老实说这还不是很糟糕。但是，我非常喜欢C＃和VS IDE。我觉得我工作得更快，调试问题也更快。
因此，也许对我来说，这比动态/静态语言问题更重要。
最后一句话...如果您使用本地服务器进行开发，则保存比编译快，但是通常我无法访问本地计算机上的所有内容。数据库和文件共享位于其他位置。FTP到Web服务器比较容易，然后运行我的PHP代码只是为了发现错误，并且必须修复并重新进行FTP。
在一定背景下的生产力。但这只是我所知道的一种环境，与我所知道或曾经看到的其他环境相比。
与ASP.Net（/ MVC），RoR或Wicket相比，带有Seaside的Squeak / Pharo上的Smalltalk是效率更高，效率更高的Web平台，适用于复杂的应用程序。直到您需要与其中一个具有库但不包含smalltalk的库进行交互。
拼写错误的变量名称在IDE中为红色，IntelliSense可以工作，但不那么具体。网页上的运行时错误不是问题，而是一项功能，只需单击一下即可调出调试器，然后单击我的IDE，修复调试器中的错误，然后保存并继续。对于简单的错误，此周期的往返时间少于20秒。
因为我认为必须声明框的类型是愚蠢的。类型取决于实体，而不是容器。当框的类型直接影响到内存中的位的解释方式时，就可以使用静态类型。
如果您查看GoF中的设计模式，您将意识到其中的很大一部分只是为了与语言的静态特性作斗争，而没有理由将它们存在于动态语言中。
另外，我已经厌倦了不得不编写MyFancyObjectInterface f = new MyFancyObject（）之类的东西。干燥原理有人吗？
让自己代替一个全新的程序员来选择一种语言作为开始，他们不关心动态，静态，lambda，这种，那种等等。您会选择哪种语言？
C＃
using System;
class MyProgram
{
public static void Main(string[] args)
{
foreach (string s in args)
{
Console.WriteLine(s);
}
}
}
卢阿：
function printStuff(args)
for key,value in pairs(args) do
print value .. " "
end
end
strings = {
"hello",
"world",
"from lua"
}
printStuff(strings)
我喜欢静态和动态语言。自2002年左右以来，我参与的每个项目都是一个带有嵌入式Python解释程序的C / C ++应用程序。这使我两全其美：
我发现使用静态类型的语言来构建系统和使用动态类型的语言来配置系统可以为我提供灵活性，稳定性和生产率。
回答“对动态语言的热爱是什么？”的问题。对我来说，它是在运行时以任何可以想象的方式完全重新连接系统的功能。我将脚本语言视为“运行节目”，因此正在执行的应用程序可以执行您想要的任何事情。
我一般对动态语言没有太多经验，但是我绝对喜欢一种动态语言，JavaScript（又名ECMAScript）。
好吧，等等，这里的讨论是什么？动态编译？还是动态打字？JavaScript涵盖了这两个方面，所以我想我将同时讨论这两个方面：
动态编译：
首先，将编译动态语言，只是将编译推迟到以后。Java和.NET实际上被编译了两次。一次是使用它们各自的中间语言，然后是动态地使用机器代码。
但是，推迟编译后，您可以更快地看到结果。那是优势之一。我确实喜欢简单地保存文件，并很快看到我的程序在运行。
另一个优点是您可以在运行时编写和编译代码。我不知道这在静态编译的代码中是否可行。我想一定是这样，因为编译JavaScript的最终都是机器代码，并且是静态编译的。但是在动态语言中，这是一件微不足道的事情。代码可以编写和运行。（而且我非常确定.NET可以做到这一点，但是.NET编译到的CIL总是动态地动态编译的，在C＃中并不是那么简单）
动态类型：
我认为动态类型比静态类型更具表现力。请注意，我非正式地使用“表达”一词来表示动态类型可以说的少而多。这是一些JavaScript代码：
var Person = {};
你知道人现在是什么吗？这是一本通用词典。我可以做这个：
Person [“ First_Name”] =“ John”; Person [“ Last_Name”] =“ Smith”;
但这也是一个对象。我可以像这样引用任何“键”：
人名
并添加我认为必要的任何方法：
Person.changeFirstName = function（newName）{
this.First_Name = newName;
};
当然，如果newName不是字符串，可能会出现问题。即使有，它也不会立即被捕获，但是您可以检查一下自己。为了安全起见，要交换表达能力和灵活性。我不介意自己添加代码来检查类型等，而且我还没有遇到类型错误，这给我带来很多麻烦（而且我知道这并没有说太多。这可能是时间问题： ））。但是，我非常喜欢这种动态适应的能力。
关于同一主题的不错的博客文章：Python使我紧张
方法签名实际上在Python中是无用的。在Java中，静态类型使方法签名成为一个配方：这是使该方法起作用所需的全部内容。在Python中不是这样。在这里，方法签名只会告诉您一件事：要使它起作用，需要多少个参数。有时候，如果您开始****，那么它甚至都不会这样做。
弱类型语言使您可以灵活地管理数据。
去年春天，我在几个类中使用了VHDL，我喜欢它们表示位/字节的方法，并且喜欢尝试将6位总线分配给9位总线时编译器如何捕获错误。我试图在C ++中重新创建它，但我在公平地努力使类型与现有类型一起使用时一直很努力。我认为，Steve Yegge在描述强类型系统所涉及的问题方面做得非常好。
关于冗长性：我发现Java和C＃在大型语言中非常冗长（让我们“挑剔”一下小的算法来“证明”一点）。而且，是的，我都写过。C ++也在同一领域中挣扎。VHDL在这里屈服。
简约似乎是动态语言的优点（我以Perl和F＃为例）。
Weakly typed language != Dynamically typed language。