为什么动态类型语言不让开发人员指定类型？

我所知道的动态类型语言从不让开发人员指定变量的类型，或者至少对这种类型的支持非常有限。

例如，JavaScript方便时不提供任何机制来强制变量类型。PHP使您可以指定一些类型的方法参数，但是无法使用本机类型（int，string，等）的参数，也没有办法强制类型的参数比任何其他。

同时，可以方便地选择以动态类型语言指定变量的类型，而不是手动进行类型检查。

为什么会有这样的限制？是出于技术/性能方面的原因（我认为是JavaScript）还是出于政治方面的原因（我认为是PHP）？我不熟悉的其他动态类型语言是否属于这种情况？

编辑：在回答和评论之后，这是一个澄清的示例：假设我们在纯PHP中具有以下方法：

public function CreateProduct($name, $description, $price, $quantity)
{
    // Check the arguments.
    if (!is_string($name)) throw new Exception('The name argument is expected to be a string.');
    if (!is_string($description)) throw new Exception('The description argument is expected to be a string.');
    if (!is_float($price) || is_double($price)) throw new Exception('The price argument is expected to be a float or a double.');
    if (!is_int($quantity)) throw new Exception('The quantity argument is expected to be an integer.');

    if (!$name) throw new Exception('The name argument cannot be an empty string.');
    if ($price <= 0) throw new Exception('The price argument cannot be less or equal to zero.');
    if ($price < 0) throw new Exception('The price argument cannot be less than zero.');

    // We can finally begin to write the actual code.
    // TODO: Implement the method here.
}

通过一些努力，可以将其重写为（另请参见PHP中的按合同编程）：

public function CreateProduct($name, $description, $price, $quantity)
{
    Component::CheckArguments(__FILE__, __LINE__, array(
        'name' => array('value' => $name, 'type' => VTYPE_STRING),
        'description' => array('value' => $description, 'type' => VTYPE_STRING),
        'price' => array('value' => $price, 'type' => VTYPE_FLOAT_OR_DOUBLE),
        'quantity' => array('value' => $quantity, 'type' => VTYPE_INT)
    ));

    if (!$name) throw new Exception('The name argument cannot be an empty string.');
    if ($price <= 0) throw new Exception('The price argument cannot be less or equal to zero.');
    if ($price < 0) throw new Exception('The price argument cannot be less than zero.');

    // We can finally begin to write the actual code.
    // TODO: Implement the method here.
}

但是，如果PHP可以选择接受本机类型作为参数，则相同的方法将编写如下：

public function CreateProduct(string $name, string $description, double $price, int $quantity)
{
    // Check the arguments.
    if (!$name) throw new Exception('The name argument cannot be an empty string.');
    if ($price <= 0) throw new Exception('The price argument cannot be less or equal to zero.');
    if ($price < 0) throw new Exception('The price argument cannot be less than zero.');

    // We can finally begin to write the actual code.
    // TODO: Implement the method here.
}

哪一个更短？哪一个更容易阅读？

进行静态类型化的目的是能够静态地证明您的程序在类型方面是正确的（请注意：在所有方面都不完全正确）。如果整个系统都具有静态类型系统，则大多数时候可以检测到类型错误。

如果只有部分类型信息，则只能检查恰好类型信息完整的调用图的一小部分。但是您已经花了很多时间和精力为不完整的零件指定类型信息，在这种情况下您无济于事，但会给人一种错误的安全感。

要表达类型信息，您需要一部分语言，不能过分简单。很快您就会发现类似的信息int还不够；你会想要像List<Pair<Int, String>>，然后是参数类型，等等。即使在Java的简单情况下，也可能造成混乱。

然后，您需要在翻译阶段处理这些信息，执行阶段，因为仅检查静态错误是很愚蠢的。如果完全指定，用户将期望类型约束始终成立。动态语言的发展速度并没有那么快，而这种检查会进一步降低性能。静态语言会花大量精力检查类型，因为它只会做一次。动态语言不能。

现在想象添加和维护所有这些功能，以便人们有时可以选择使用这些功能，而仅检测到一小部分类型错误。我认为这样做不值得。

动态语言的重点是拥有一个非常小且非常具有延展性的框架，在该框架中，您可以轻松地完成以静态语言完成时涉及更多的事情：用于元编程，嘲笑和测试，动态替换代码等。Smalltalk和Lisp都非常动态，将其极端化了，可以发送环境映像而不是从源代码构建。但是，当您要确保特定的数据路径是类型安全的时，请添加断言并编写更多的单元测试。

在大多数动态语言中，您至少可以动态测试对象或值的类型。

还有一些动态语言的静态类型推断器，检查器和/或执行器：

• 适用于Javascript。
• 对于Python

Perl 6将支持带有静态类型的可选 类型系统。

但我想最重要的是，很多人使用动态语言 是因为它们是动态类型的，对于他们来说，可选的静态类型非常“嗡嗡”。许多其他人使用它们是因为它们“很容易被非程序员使用”，这在很大程度上是宽容的自然动态键入的结果。对他们来说，可选类型是他们不会理解或不会被使用的东西。

如果您持愤世嫉俗的话，可以说可选的静态类型会同时兼顾两个方面。对于静态类型狂热者，它不能防止所有动态类型失败。对于动态型风扇，它仍然是一件直筒外套……尽管束带没有扎紧。

JavaScript确实计划包括一些可选的静态类型，而且似乎许多成熟的动态语言正朝着这种方向发展-

原因是当您第一次编码时，您希望快速而动态地键入。一旦您的代码稳定，可以工作并且有很多用途，您就希望锁定设计以减少错误。（这对用户和开发人员都有利，因为前者将在调用时进行错误检查，而后者不会意外损坏。

这对我来说很有意义，因为无论我使用什么语言，通常在项目开始时我都会进行太多类型检查，而在项目生命周期结束时却很少进行类型检查。

Python对象确实具有类型。

您可以在创建对象时指定类型。

同时，可以方便地选择以动态类型语言指定变量的类型，而不是手动进行类型检查。

实际上，在Python中进行手动类型检查几乎总是在浪费时间和代码。

用Python编写类型检查代码只是一个不好的做法。

如果某些恶意社交行为者使用了不合适的类型，那么当该类型不合适时，Python的普通方法将引发一个普通异常。

您不编写代码，但程序仍然失败，并显示 TypeError。

在极少数情况下，您必须在运行时确定类型。

为什么会有这样的限制？

由于它不是“限制”，因此该问题不是真正的问题。

大多数时候，您不需要，至少不需要您所建议的详细程度。在PHP中，您使用的运算符使您可以清楚地了解参数的期望值。尽管PHP会尽可能地转换您的值，但这只是设计上的疏忽，即使您将数组传递给需要字符串的操作时，由于转换并不总是有意义，有时也会得到奇怪的结果（而这也正是类型检查是有用的）。除此之外，是否添加整数1和5或字符串"1"以及"5" -这一事实，你正在使用的+运算符向PHP发出信号，告知您要将参数视为数字，然后PHP会遵守。一种有趣的情况是，当您从MySQL接收查询结果时：许多数字值只是作为字符串返回，但是您不会注意到，因为每当您将它们视为数字时，PHP都会为它们强制转换。

Python在类型方面有些严格，但与PHP不同，Python从一开始就具有例外，并始终如一地使用它。“更容易要求宽恕而不是允许”范式建议仅执行操作而不进行类型检查，并依靠在类型没有意义时引发的异常。我能想到的唯一缺点是，有时您会发现某个类型与您期望的类型不匹配，但是找到原因可能很乏味。

而且还有另外一个原因来考虑：动态语言不具有一个编译阶段。即使你有型的限制，他们只能火在运行，只是因为没有编译时间。如果您的检查仍然导致运行时错误，则对它们进行相应建模要容易得多：作为显式检查（例如is_XXX()在PHP或typeofjavascript中），或者通过抛出异常（例如Python）。从功能上讲，您具有相同的效果（当类型检查失败时在运行时会发出错误信号），但是它可以与语言的其余语义更好地集成在一起。用动态语言来处理根本不同于其他运行时错误的类型错误根本就没有意义。

您可能对Haskell感兴趣-它的类型系统可以从代码中推断类型，还可以指定类型。

正如其他答案所暗示的那样，在实现编程语言时有两种输入方法。

1. 让程序员告诉您所有用于类型的变量和函数。理想情况下，您还要验证类型规格是否正确。然后，由于您知道每种地方都有什么类型的事物，因此您可以编写代码，假设适当的事物在那里，并使用您用来直接实现该类型的任何数据结构。
2. 将类型指示器附加到将存储在变量中并传递给函数并从函数返回的值。这意味着程序员不必为变量或函数指定任何类型，因为类型实际上属于变量和函数所引用的对象。

两种方法都是有效的，使用哪种方法部分取决于技术方面的考虑，例如性能，部分取决于政治原因，例如语言的目标市场。

首先，动态语言的创建主要是为了易于使用。正如您所提到的，自动进行类型转换并为我们提供较少的开销确实非常好。但与此同时，它也缺少性能问题。

在不担心性能的情况下，您可以坚持使用动态语言。例如，当JavaScript需要在程序中执行许多类型转换时，它的运行速度会变慢，但它有助于减少代码中的行数。

值得一提的是，还有其他动态语言甚至允许程序员指定类型。例如Groovy是在JVM上运行的著名动态语言之一。而且最近几天也非常有名。请注意，Groovy的性能与Java相同。

希望对您有帮助。

这样做根本没有意义。

为什么？

因为DTL的类型系统恰好使得在编译时无法确定类型。因此，编译器甚至无法检查指定的类型是否有意义。

看一下Go，表面上它是静态类型的，但是这些类型可能是本质上是动态的接口。