首页 后端开发 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

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

热门文章

<🎜>:泡泡胶模拟器无穷大 - 如何获取和使用皇家钥匙
4 周前 By 尊渡假赌尊渡假赌尊渡假赌
北端:融合系统,解释
4 周前 By 尊渡假赌尊渡假赌尊渡假赌
Mandragora:巫婆树的耳语 - 如何解锁抓钩
4 周前 By 尊渡假赌尊渡假赌尊渡假赌
<🎜>掩盖:探险33-如何获得完美的色度催化剂
2 周前 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教程
1677
14
CakePHP 教程
1429
52
Laravel 教程
1333
25
PHP教程
1278
29
C# 教程
1257
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类型提示如何起作用,包括标量类型,返回类型,联合类型和无效类型? PHP类型提示如何起作用,包括标量类型,返回类型,联合类型和无效类型? Apr 17, 2025 am 12:25 AM

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

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

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

在PHP和Python之间进行选择:指南 在PHP和Python之间进行选择:指南 Apr 18, 2025 am 12:24 AM

PHP适合网页开发和快速原型开发,Python适用于数据科学和机器学习。1.PHP用于动态网页开发,语法简单,适合快速开发。2.Python语法简洁,适用于多领域,库生态系统强大。

PHP和Python:深入了解他们的历史 PHP和Python:深入了解他们的历史 Apr 18, 2025 am 12:25 AM

PHP起源于1994年,由RasmusLerdorf开发,最初用于跟踪网站访问者,逐渐演变为服务器端脚本语言,广泛应用于网页开发。Python由GuidovanRossum于1980年代末开发,1991年首次发布,强调代码可读性和简洁性,适用于科学计算、数据分析等领域。

为什么要使用PHP?解释的优点和好处 为什么要使用PHP?解释的优点和好处 Apr 16, 2025 am 12:16 AM

PHP的核心优势包括易于学习、强大的web开发支持、丰富的库和框架、高性能和可扩展性、跨平台兼容性以及成本效益高。1)易于学习和使用,适合初学者;2)与web服务器集成好,支持多种数据库;3)拥有如Laravel等强大框架;4)通过优化可实现高性能;5)支持多种操作系统;6)开源,降低开发成本。

PHP和框架:现代化语言 PHP和框架:现代化语言 Apr 18, 2025 am 12:14 AM

PHP在现代化进程中仍然重要,因为它支持大量网站和应用,并通过框架适应开发需求。1.PHP7提升了性能并引入了新功能。2.现代框架如Laravel、Symfony和CodeIgniter简化开发,提高代码质量。3.性能优化和最佳实践进一步提升应用效率。

PHP的影响:网络开发及以后 PHP的影响:网络开发及以后 Apr 18, 2025 am 12:10 AM

PHPhassignificantlyimpactedwebdevelopmentandextendsbeyondit.1)ItpowersmajorplatformslikeWordPressandexcelsindatabaseinteractions.2)PHP'sadaptabilityallowsittoscaleforlargeapplicationsusingframeworkslikeLaravel.3)Beyondweb,PHPisusedincommand-linescrip

See all articles