4回答
在阅读以下内容时：
很多人将静态类型和动态类型定义为检查变量类型的点。使用这种类比，静态类型化语言是在编译时进行类型检查的语言，而动态类型化语言是在运行时进行类型检查的语言。这个类比导致了我们上面用来定义静态和动态类型的类比。我认为从显式声明变量的需要来理解静态和动态类型比较简单，而不是编译时和运行时
浏览 8提问于2016-01-01得票数 1
回答已采纳
最近，Facebook发布了Flow，它是JavaScript的静态类型检查器，主要在OCaml ()中实现。
Hacklang (带有静态类型检查器的PHP)也主要用OCaml编写。所以，我想知道OCaml对于静态类型检查器有什么独特的好处？
浏览 5提问于2014-11-19得票数 35
回答已采纳
我正在寻找一些项目/问题/功能，可以将静态分析添加到Coffeescript中。然而，经过一些搜索后，我发现和建议静态分析可能不可行。我想知道，在Coffeescript中实现静态分析/静态类型检查是否存在根本问题，因为这类问题在编译器中还不存在？
另外，它是不是不可能用于非平凡的检查，而可能只适用于简单的分析？当我说简单的时候，我指的是检查琐碎的东西，比如，用户是否用相同的名称定义了一个函数两次(在一个类中)，或者在顶层
浏览 3提问于2012-06-04得票数 20
回答已采纳
10回答
我已经开始研究整个单元测试/测试驱动的开发思想，我越想，它似乎就越能填补静态类型检查的相似角色。这两种技术都为程序中的某些类型的错误提供了编译时的快速响应检查。但是，如果我错了，请纠正我，但似乎一个完全覆盖的单元测试套件将测试静态类型检查将测试的所有内容，甚至更多。或者换一种说法，静态类型检查只是“证明”程序正确的一部分，而单元测试将让你“证明”你想要的(在一定程度上)。
那么，如果你也在
浏览 4提问于2009-01-06得票数 4
回答已采纳
1回答
最近，我正在学习语言的动态和静态分析。我已经阅读了一些相关的问题，比如，但我仍然有一些问题。
动态分析可以在编译和运行期间进行，并检查程序状态。通过动态分析，可以避免不需要的执行步骤。静态分析通常指的是静态类型检查系统，静态分析必须正确地预测实际的程序行为。对于静态类型系统，这意味着分配的类型必须描述程序在运行时可能计算出的所有值。我想知道，如果类型检查器将一个类型</em
浏览 2提问于2017-12-12得票数 1
如果我们看看维基百科中“动态类型编程语言”的定义，它会说：动态类型检查是在运行时验证程序类型安全性的过程.动态类型检查语言的实现通常将每个运行时对象与包含其类型信息的“类型标记”(即对类型的引用)关联起来。此运行时类型信息(RTT
浏览 0提问于2016-01-10得票数 1
4回答
在编译时检查静态类型化-类型匹配(因此只能应用于编译语言)
动态类型-类型分配给值(如果有的话)，因此我会说'x持有一个int‘。根据这个定义，静态
浏览 6提问于2012-07-12得票数 2
2回答
我来自TypeScript的世界，所以我有点困惑为什么下面这些不会失败。class Bar {}
let test = bar.foo;
浏览 1提问于2018-01-21得票数 0
1回答
整数和静态类型检查
、、、
看完这篇文章后：
在只有解释器(例如Basic)的编程语言中(如上面链接中的第二个答案中的照片所示)，是否可以进行静态类型检查？
据我所知，每次执行程序时，解释器都会运行每一行命令。那么，在我们运行程序之前，如何能够静态地检查类型呢？
浏览 5提问于2016-09-08得票数 3
回答已采纳
1回答
我知道我可以动态地检查，因为enum声明也会生成一个对象声明，除非我们使用const enum。但我认为静态类型应该是0 | 1，而不是number。具体来说，我正在看一些关于为什么事情是这样工作的洞察力，是否有一种方法让编译器为我们检查事情？
浏览 0提问于2021-07-05得票数 1
回答已采纳
7回答
我正在使用一个现有的大型Python代码库，并希望开始添加类型注释，这样我就可以获得某种级别的静态检查。我在想象像，，或者之类的东西。我见过快速和脏的装饰器，它们根据函数参数和返回类型注释插入动态检查，但我正在寻找更健壮的东西，并在编译时执行检查。(注意:我不想讨论静态输入的利弊。)编辑：一个示例：
def put(d, k
浏览 14提问于2011-05-17得票数 41
刚刚看了一段介绍性的视频-- 和主持人回忆道：
实际上，生产模式可以通过忽略静态类型来提高速度，因为它可以避免多次类型检查。在Actionscript 3.0中引入静态类型时，会鼓励使用静态类型来提高执行速度。显然，动态类型导致VM在执行过程中推断类型，这会减慢它的速度，使用静态类型，VM可以在不需要额外工作的情况下遍历。
浏览 2提问于2013-05-18得票数 1
回答已采纳
静态类型检查这些第三方代码似乎是不正确的，例如酶/React测试工具函数的返回值类型和测试框架的回调函数类型。
我只是认为第三方API就像(这个)太长了，而且很可能会被测试。编辑:澄清了当我说类型检查时，我指的是像流一样的静态类型检查，而不是通过单元测试。
浏览 1提问于2017-05-11得票数 0
1回答
我们使用在JavaScript中进行静态类型检查.流类型可能变得复杂，而且我们已经遇到了一些问题，在这些问题中，我们认为我们有很好的静态类型来防范格式错误的对象，但是流注释问题意味着类型检查实际上没有捕获问题为了防止这个问题，我想编写基于类型的“单元测试”，它可以静态地断言我们对类型保护的假设。User = {||};
const user = {name: &
浏览 1提问于2018-09-13得票数 3
回答已采纳
2回答
OCaml的类型系统是静态的吗？
、、、、
在各种来源中都提到，OCaml有一个静态的强类型系统，而且它也是一种解释语言。一些地方还提到，OCaml有一个字节码编译器和一个VM。
浏览 2提问于2014-04-06得票数 1
回答已采纳
1回答
如何以类似于isinstance的方式创建缩小变量类型(用于静态类型检查器)的函数 例如，ComplexTypeAssertion只在运行时缩小类型范围，而不是静态检查： def MyFunctionisinstance(data, list) and all(isinstance(value, str) for value in data) 我如何定义ComplexTypeAssertion，以便静态分析工具能够理解该类型在我想断言
浏览 15提问于2021-08-31得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
