- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
Computer scientists consider a language "type-safe" if it does not allow operations or conversions that violate the rules of the type system.
由于 Python 运行时检查确保满足类型系统规则,我们应该将 Python 视为一种类型安全的语言。
Jason Orendorff 和 Jim Blandy 在 Programming Rust 中提出了同样的观点:
Note that being type safe is independent of whether a language checks types at compile time or at run time: C checks at compile time, and is not type safe; Python checks at runtime, and is type safe.
静态类型检查和类型安全这两个概念是分开的。
对吗?
最佳答案
许多程序员会将静态类型检查等同于类型安全:
遗憾的是,事情没那么简单。
例如,C 和 C++ 不是类型安全的,因为您可以通过 Type punning 破坏类型系统。 .此外,C/C++ 语言规范广泛允许 undefined behaviour (UB)而不是显式处理错误,这已成为安全漏洞的来源,例如 stack smashing利用和format string attack .在类型安全的语言中,这样的利用不应该是可能的。 Java 的早期版本有一个类型错误,其 Generics证明它不是完全类型安全的。
直到今天,对于 Python、Java、C++ 等编程语言......很难证明这些语言是完全类型安全的,因为它需要数学证明。这些语言大量,并且编译器/解释器存在不断出现的错误reported并得到修复。
[ Wikipedia ] Many languages, on the other hand, are too big for human-generated type safety proofs, as they often require checking thousands of cases. .... certain errors may occur at run-time due to bugs in the implementation, or in linked libraries written in other languages; such errors could render a given implementation type unsafe in certain circumstances.
类型安全和类型系统虽然适用于现实世界的编程,但其根源和定义来自 academia ——因此,对“类型安全”究竟是什么是的正式定义很困难——尤其是在谈论现实世界中使用的真实编程语言时。学术界喜欢在数学上(正式)定义称为 toy languages 的小型编程语言。 .只有这些语言才能正式证明它们是类型安全的(并证明它们的操作在逻辑上是 correct)。
[ Wikipedia ] Type safety is usually a requirement for any toy language proposed in academic programming language research
例如,学者们努力证明 Java 是类型安全的,因此他们创建了一个名为 Featherweight Java 的较小版本,并在 paper 中得到了证明。它是类型安全的。同样,这个 Ph.D. paper Christopher Lyon Anderson 采用了 Javascript 的一个子集,将其称为 JS0,并证明它是类型安全的。
实际上,人们认为像 python、java、c++ 这样的适当语言不是完全类型安全的,因为它们太大了。一个小错误很容易从破坏类型系统的裂缝中溜走。
引用:http://www.pl-enthusiast.net/2014/08/05/type-safety/和 https://en.wikipedia.org/wiki/Type_system
关于python - Python 类型安全吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46388355/
我正在学习 Spring 安全性,但我对它的灵活性感到困惑.. 我知道我可以通过在标签中定义规则来保护网址 然后我看到有一个@secure 注释可以保护方法。 然后还有其他注释来保护域(或 POJO)
假设有一个 key 加密 key 位于内存中并且未写入文件或数据库... byte[] kek = new byte[32]; secureRandom.nextBytes(kek); byte[]
我有 Spring Security 3.2.0 RC1 的问题 我正在使用标签来连接我 这表示“方法‘setF
我正在创建一个使用 Node Js 服务器 API 的 Flutter 应用程序。对于授权,我决定将 JWT 与私钥/公钥一起使用。服务器和移动客户端之间的通信使用 HTTPS。 Flutter 应用
在过去的几年里,我一直在使用范围从 Raphael.js 的 javascript 库。至 D3 ,我已经为自己的教育操纵了来自网络各地的动画。我已经从各种 git 存储库下载了 js 脚本,例如 s
在 python 中实现身份验证的好方法是什么?已经存在的东西也很好。我需要它通过不受信任的网络连接进行身份验证。它不需要太高级,只要足以安全地获取通用密码即可。我查看了 ssl 模块。但那个模块让我
我正在尝试学习“如何在 Hadoop 中实现 Kerberos?”我已经看过这个文档 https://issues.apache.org/jira/browse/HADOOP-4487我还了解了基本的
我有一个带有 apache2、php、mysql 的生产服务器。我现在只有一个站点 (mysite.com) 作为虚拟主机。我想把 phpmyadmin、webalizer 和 webmin 放在那里
前些天在网上看到防火墙软件OPNsense,对其有了兴趣,以前写过一个其前面的一个软件M0n0wall( 关于m0n0wa
我在 Spring Boot 和 oauth2(由 Google 提供)上编写了 rest 后端,在 "/login" 上自动重定向。除了 web 的 oauth 之外,我还想在移动后端进行 Fire
我想调用类 Foo,它的构造函数中有抽象类 Base。我希望能够从派生自 Base 的 Derived 调用 Foo 并使用 Derived覆盖方法而不是 Base 的方法。 我只能按照指示使用原始指
如何提高 session 的安全性? $this->session->userdata('userid') 我一直在为我的 ajax 调用扔掉这个小坏蛋。有些情况我没有。然后我想,使用 DOM 中的
我目前正在为某些人提供程序集编译服务。他们可以在在线编辑器中输入汇编代码并进行编译。然后编译它时,代码通过ajax请求发送到我的服务器,编译并返回程序的输出。 但是,我想知道我可以做些什么来防止对服务
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the he
目前,我通过将 session 中的 key 与 MySQl 数据库中的相同 key 相匹配来验证用户 session 。我使用随机数重新生成 session ,该随机数在每个页面加载时都受 MD5
Microsoft 模式与实践团队提供了一个很棒的 pdf,称为:“构建安全的 asp.net 应用程序”。 microsoft pdf 由于它是为 .Net 1.0 编写的,所以现在有点旧了。有谁知
在 Lua 中,通常会使用 math.random 生成随机值和/或字符串。 & math.randomseed , 其中 os.time用于 math.randomseed . 然而,这种方法有一个
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持,但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the
我们有一个严重依赖 Ajax 的应用程序。确保对服务器端脚本的请求不是通过独立程序而是通过坐在浏览器上的实际用户的好方法是什么 最佳答案 真的没有。 通过浏览器发送的任何请求都可以由独立程序伪造。 归
我正在寻找使用 WebSockets 与我们的服务器通信来实现 web (angular) 和 iPhone 应用程序。在过去使用 HTTP 请求时,我们使用请求数据、url、时间戳等的哈希值来验证和
我是一名优秀的程序员,十分优秀!