首页 后端开发 php教程 动态语言中静态类型的讽刺

动态语言中静态类型的讽刺

Nov 03, 2024 am 06:28 AM

您也可以在 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

我们什么时候应该使用它?

不要因为学到了一个新的、闪亮的功能而感到有重写整个代码库的压力。

这些新功能就像工具。我的建议是明智地使用它们:

在以下场景中使用静态类型:

  • 从外部源(例如数据库、库和 API)检索数据时。
  • 代码中不允许失败的关键部分。
  • 当您的代码库容易出现频繁错误时。

在以下情况下避免使用静态类型:

  • 设计原型以快速测试您的想法。
  • 实现内部逻辑,其中类型检查只会导致冗长的代码,没有任何好处。
  • 仅在屏幕上显示数据(例如绘制图表、图像、数字......)。
  • 编写无需用户输入的命令行脚本。

请记住,在编码方面,黄金法则始终是力求简单,除非您有充分的理由使事情复杂化。

以上是动态语言中静态类型的讽刺的详细内容。更多信息请关注PHP中文网其他相关文章!

本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover

AI Clothes Remover

用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool

Undress AI Tool

免费脱衣服图片

Clothoff.io

Clothoff.io

AI脱衣机

Video Face Swap

Video Face Swap

使用我们完全免费的人工智能换脸工具轻松在任何视频中换脸!

热门文章

<🎜>:泡泡胶模拟器无穷大 - 如何获取和使用皇家钥匙
3 周前 By 尊渡假赌尊渡假赌尊渡假赌
北端:融合系统,解释
4 周前 By 尊渡假赌尊渡假赌尊渡假赌
Mandragora:巫婆树的耳语 - 如何解锁抓钩
3 周前 By 尊渡假赌尊渡假赌尊渡假赌

热工具

记事本++7.3.1

记事本++7.3.1

好用且免费的代码编辑器

SublimeText3汉化版

SublimeText3汉化版

中文版,非常好用

禅工作室 13.0.1

禅工作室 13.0.1

功能强大的PHP集成开发环境

Dreamweaver CS6

Dreamweaver CS6

视觉化网页开发工具

SublimeText3 Mac版

SublimeText3 Mac版

神级代码编辑软件(SublimeText3)

热门话题

Java教程
1669
14
CakePHP 教程
1428
52
Laravel 教程
1329
25
PHP教程
1273
29
C# 教程
1256
24
说明PHP中的安全密码散列(例如,password_hash,password_verify)。为什么不使用MD5或SHA1? 说明PHP中的安全密码散列(例如,password_hash,password_verify)。为什么不使用MD5或SHA1? Apr 17, 2025 am 12:06 AM

在PHP中,应使用password_hash和password_verify函数实现安全的密码哈希处理,不应使用MD5或SHA1。1)password_hash生成包含盐值的哈希,增强安全性。2)password_verify验证密码,通过比较哈希值确保安全。3)MD5和SHA1易受攻击且缺乏盐值,不适合现代密码安全。

PHP和Python:比较两种流行的编程语言 PHP和Python:比较两种流行的编程语言 Apr 14, 2025 am 12:13 AM

PHP和Python各有优势,选择依据项目需求。1.PHP适合web开发,尤其快速开发和维护网站。2.Python适用于数据科学、机器学习和人工智能,语法简洁,适合初学者。

PHP行动:现实世界中的示例和应用程序 PHP行动:现实世界中的示例和应用程序 Apr 14, 2025 am 12:19 AM

PHP在电子商务、内容管理系统和API开发中广泛应用。1)电子商务:用于购物车功能和支付处理。2)内容管理系统:用于动态内容生成和用户管理。3)API开发:用于RESTfulAPI开发和API安全性。通过性能优化和最佳实践,PHP应用的效率和可维护性得以提升。

PHP类型提示如何起作用,包括标量类型,返回类型,联合类型和无效类型? PHP类型提示如何起作用,包括标量类型,返回类型,联合类型和无效类型? Apr 17, 2025 am 12:25 AM

PHP类型提示提升代码质量和可读性。1)标量类型提示:自PHP7.0起,允许在函数参数中指定基本数据类型,如int、float等。2)返回类型提示:确保函数返回值类型的一致性。3)联合类型提示:自PHP8.0起,允许在函数参数或返回值中指定多个类型。4)可空类型提示:允许包含null值,处理可能返回空值的函数。

PHP的持久相关性:它还活着吗? PHP的持久相关性:它还活着吗? Apr 14, 2025 am 12:12 AM

PHP仍然具有活力,其在现代编程领域中依然占据重要地位。1)PHP的简单易学和强大社区支持使其在Web开发中广泛应用;2)其灵活性和稳定性使其在处理Web表单、数据库操作和文件处理等方面表现出色;3)PHP不断进化和优化,适用于初学者和经验丰富的开发者。

PHP和Python:解释了不同的范例 PHP和Python:解释了不同的范例 Apr 18, 2025 am 12:26 AM

PHP主要是过程式编程,但也支持面向对象编程(OOP);Python支持多种范式,包括OOP、函数式和过程式编程。PHP适合web开发,Python适用于多种应用,如数据分析和机器学习。

您如何防止PHP中的SQL注入? (准备的陈述,PDO) 您如何防止PHP中的SQL注入? (准备的陈述,PDO) Apr 15, 2025 am 12:15 AM

在PHP中使用预处理语句和PDO可以有效防范SQL注入攻击。1)使用PDO连接数据库并设置错误模式。2)通过prepare方法创建预处理语句,使用占位符和execute方法传递数据。3)处理查询结果并确保代码的安全性和性能。

PHP和Python:代码示例和比较 PHP和Python:代码示例和比较 Apr 15, 2025 am 12:07 AM

PHP和Python各有优劣,选择取决于项目需求和个人偏好。1.PHP适合快速开发和维护大型Web应用。2.Python在数据科学和机器学习领域占据主导地位。

See all articles