动态语言中静态类型的讽刺-php教程-PHP中文网

您也可以在 Medium 上阅读这篇文章。

当我们看到编程语言如何随着时间的推移而演变时，总是很有趣。

曾几何时，当我开始进入软件开发世界时，Python、PHP 和 JavaScript 等动态语言因其灵活性和适合快速开发的简洁语法而受到赞赏。

然而，随着这些弱类型语言的发展，它们融合了强类型语言的特性，使它们与 C 和 Java 非常相似：

Python：自 2015 年版本 3.5 开始引入类型提示功能，并在 2022 年版本 3.12 中得到增强。
PHP：2015 年版本 7 中引入的声明类型。
JavaScript：通过 2012 年 TypeScript 的发布进行了扩展，定义为“具有类型语法的 JavaScript”。

为什么会有这样的转变？

在严格类型语言中，我们在代码中显式定义变量的类型。目标是在执行程序之前捕获开发阶段的错误，并向编译器提供有关分配给这些变量的内存大小的提示。

// C++ example: 'y' will be an integer
float x = 3.14;
int y = x;  //  y = 3 (ignored the decimal part of the number)

登录后复制

另一方面，动态类型语言（例如 Python、PHP 和 JavaScript）允许我们创建变量并让解释器在运行时暗示它们的类型：

# In python and PHP: 'y' will take the same type as 'x'
x = 3.14
y = x  // y = 3.14 (float)

登录后复制

动态语言中如何引入显式类型？

在下面的示例中，我们使用动态和静态类型声明相同的函数。

Python：

# using the classic syntax:
def add(x, y):
    return x + y
# using explicit typing:
def add(x: int, y:int) -> int:
    return x + y

登录后复制

JavaScript / TypeScript：

// using the classic syntax
function add(x, y) {
    return x + y;
}
// using explicit typing
function add(x: number, y: number): number {
    return x + y;
}

登录后复制

PHP：

// using the classic syntax:
function add($x, $y) {
    return $x + $y;
}
// using explicit typing:
function add(int $x, int $y): int {
    return $x + $y;
}

登录后复制

PHP 8.2（于 2022 年 12 月发布）通过引入对 null、true 和 false 作为独立类型的支持来进一步推动它：

public null $nil = null;
public false $false = false;`

登录后复制

讽刺在哪里？

不要将这篇文章视为对这些新功能的反对，我确实承认使用严格类型语言的优势。然而，例如，在 Python 中使用类型注释并不能阻止您更改变量的类型：

x: int = 0
x = "John" 
print(type(x))   # <class 'str'>

登录后复制

PHP 也一样，它只会在控制台上打印 Deprecated 警告。

有人可能会问为什么解释器允许我们执行这段代码？
这是因为这些语言是这样构建的：它们根据定义是动态类型的。如果我们删除这个特性，它们将不再是动态的；它们将成为像 C 一样的严格类型语言，但速度较慢。

希望您可以通过在 PHP 文件中将 strict_types 设置为 true 来要求解释器更加严格：

declare(strict_types=1);

登录后复制

在 python 中，您可以使用“mypy”包来分析代码并捕获错误：

// C++ example: 'y' will be an integer
float x = 3.14;
int y = x;  //  y = 3 (ignored the decimal part of the number)

登录后复制

您可以看到“mypy”作为顾问，告诉您做错了什么，但这并不能阻止您执行代码，风险由您承担。

The Irony of Static Typing in Dynamic Languages

即使您不确定变量的类型，您仍然可以使用联合运算符来减少接受类型的列表：

以下来自 PHP 和 Python 的示例展示了如何做到这一点：

# In python and PHP: 'y' will take the same type as 'x'
x = 3.14
y = x  // y = 3.14 (float)

登录后复制

我们是否牺牲了代码的可读性？

十年前，我决定使用 Python 攻读博士学位，因为它简单且能够快速构建新想法原型。然后我也开始将它用于我的其他项目。

现在，我发现自己阅读了一些奇怪的 PEP，并质疑自己是否真的值得通过包含这些新功能来使我的代码库复杂化。

让我们看一个打印字典项目的示例函数。这是初始版本：

# using the classic syntax:
def add(x, y):
    return x + y
# using explicit typing:
def add(x: int, y:int) -> int:
    return x + y

登录后复制

通过使用 Python 3.12 中引入的 PEP 692 的建议，代码变为：

// using the classic syntax
function add(x, y) {
    return x + y;
}
// using explicit typing
function add(x: number, y: number): number {
    return x + y;
}

登录后复制

总结：我们创建了一个继承自 TypedDict 的类，指定了每个项目的名称和类型，并使用 Unpack 运算符告诉“mypy”接收到的对象是一个 TypedDict。

结果，我们的代码大小增加了一倍。如果我们的对象有更多的项目，它会变得更长。

幸运的是，我们可以对代码的某些部分使用静态类型，而将其余部分保留为动态类型。或者，如果我们愿意，我们可以选择根本不使用它。

The Irony of Static Typing in Dynamic Languages