回答情况：
提问时间：
问题标签：
1回答
看完这篇文章后：
在只有解释器(例如Basic)的编程语言中(如上面链接中的第二个答案中的照片所示)，是否可以进行静态类型检查？
据我所知，每次执行程序时，解释器都会运行每一行命令。那么，在我们运行程序之前，如何能够静态地检查类型呢？
浏览 5修改于2017-05-23得票数 3
回答已采纳
2回答
我来自TypeScript的世界，所以我有点困惑为什么下面这些不会失败。class Bar {}
let test = bar.foo;
浏览 1修改于2018-02-18得票数 0
我是Standart ML和ocaml等语言的铁杆粉丝，它们具有强大的静态类型检查功能。
在erlang中有没有一种好的、干净的方式来引入一些静态类型检查。我正在查看-type和-spec注释。
浏览 1提问于2011-12-14得票数 7
回答已采纳
我是一个强类型的语言支持者，但我正在从事一个大型的PHP项目。我一直在使用PhpStorm，我很喜欢提示您可以提供的额外类型，下面的评论如下：PhpStorm很棒，因为当类型不匹配时，它会给您一些警告。我想知道是否有可能在之外静态地进行这种检查，是一些类型的命令行预编译器，它将遍历代码，检查那些额
浏览 2修改于2014-01-30得票数 14
回答已采纳
我已经努力了很长一段时间，与这个静态类型检查器，吡喃集成。
那么，谁能告诉我为什么setter的类型检查工作正常到目前为止，我一直使用getter/setter来验证
浏览 2修改于2020-11-18得票数 1
回答已采纳
2回答
我目前正在尝试找出我的程序的哪些方面可以由scala编译器进行静态类型检查。在阅读了之后，我想到了类型设计模式的想法。我发现理解Scala的类型系统的可能性是相当复杂的。
浏览 1修改于2017-05-23得票数 10
回答已采纳
我正在寻找一些项目/问题/功能，可以将静态分析添加到Coffeescript中。然而，经过一些搜索后，我发现和建议静态分析可能不可行。我想知道，在Coffeescript中实现静态分析/静态类型检查是否存在根本问题，因为这类问题在编译器中还不存在？
另外，它是不是不可能用于非平凡的检查，而可能只适用于简单的分析？当我说简单的时候，我指的是检查琐碎的东西，比如，用户是否用相同的名称定义了一个函数两次(在一个类中)，或者在顶层
浏览 3提问于2012-06-04得票数 20
回答已采纳
我正在使用一个现有的大型Python代码库，并希望开始添加类型注释，这样我就可以获得某种级别的静态检查。我在想象像，，或者之类的东西。我见过快速和脏的装饰器，它们根据函数参数和返回类型注释插入动态检查，但我正在寻找更健壮的东西，并在编译时执行检查。(注意:我不想讨论静态输入的利弊。)编辑：一个示例：
def put(d, k
浏览 14修改于2015-10-29得票数 41
我非常喜欢静态类型检查。nobody's ever lived this old当您使用相同的类型来表示明显不同类型的信息时
浏览 0修改于2018-07-03得票数 13
回答已采纳
最近，我正在学习语言的动态和静态分析。我已经阅读了一些相关的问题，比如，但我仍然有一些问题。
动态分析可以在编译和运行期间进行，并检查程序状态。通过动态分析，可以避免不需要的执行步骤。静态分析通常指的是静态类型检查系统，静态分析必须正确地预测实际的程序行为。对于静态类型系统，这意味着分配的类型必须描述程序在运行时可能计算出的所有值。我想知道，如果类型检查器将一个类型</em
浏览 2提问于2017-12-12得票数 1
d2;
func(d2);
}
--请注意，(1) I不需要专门化的"func"，因为这可以解决这个问题，但我只希望有一个具有内部静态
浏览 0提问于2012-10-04得票数 3
回答已采纳
new_tv in let ty = Subst.apply new_tv subst in这是来自OCaml中的过程函数的静态类型检查器错误上说，
错误:该表达式的类型为typ_eqn/3404 = (typ/3398 * typ/3398)列表，但预期表达式类型为typ_eqn/3179 = (typ/3173 * typ/3173) list type typ&#
浏览 0修改于2017-05-23得票数 0
回答已采纳
我是python的新手，我有下面的文章。我希望testStatic方法只接受TestRequest作为它的参数，并且只返回TestReponse对象作为响应。我来自java背景，我可以这样写：{}谢谢
浏览 0提问于2013-04-23得票数 0
回答已采纳
我已经将django-模型-utils添加到现有的(大型)项目中，而构建现在正在失败，因为构建的一部分包括使用mypy进行静态类型检查。: "School" has no attribute "students"
即使我移除related_name，并使用self.student_set (即默认的django关系)，它仍然会产生相同类型的错误只有删除InheritanceManager才能修复静态类型检查。当然，我使用它是有原因
浏览 8提问于2022-07-29得票数 3
typeof value === 'string' || typeof value === 'boolean'}
静态类型检查从何而来
浏览 0提问于2017-10-23得票数 0
回答已采纳
id<UIView> views = @[one, two, three]; 我还需要走多远才能实现它？有没有人有扩展clang以支持类似功能的经验？
浏览 4修改于2017-05-23得票数 0
如何确保实现抽象方法的方法符合python静态类型检查。如果所实现的方法的返回类型不正确，pycharm中有没有办法得到一个错误？
浏览 21提问于2019-01-08得票数 10
回答已采纳
我希望在由解释器检查代码时运行代码(最好是PyCharm，但与类型相关的答案或其他答案也可以)。我想运行的代码是一个修改签名的代码，这样IDE将更好地显示动态添加的成员或签名。
浏览 8修改于2020-06-30得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号