typechecking 相关问题

类型检查器强制执行给定编程语言中的表达式是良好类型的 - 即符合特定类型系统的规则。

我正在尝试检查一个简单的Groovy脚本：@ groovy.transform.TypeChecked类C {def fn（）{return“ result”} def ln（）{return fn（）。length（）}}新C （）.ln（）我的期望是...

groovy type-inference return-type typechecking

回答 1 投票 0

Python中的类型注释表示静态类型检查？

我正在查看来自python的类型模块，因为我希望在以python编写的项目中强制执行一些静态类型检查。当我从doc def greeting（name：...

python typechecking static-typing

回答 3 投票 0

类型检查参数Python [重复]

有时需要在Python中检查参数。例如我有一个函数，它接受网络中其他节点的地址作为原始字符串地址或封装的类Node ...

python typechecking

回答 5 投票 38

Rust“预期类型”错误打印出完全相同的不匹配类型

夜间生锈：Playground struct Foo T> {value：T，func：F} fn main（）{let lambda = |＆x，＆y | x + y;让foo = Foo {值：...

rust lifetime typechecking

回答 1 投票 1

如何指定未知/任意大小的泛型列表

注意：我开始讨论关于这个主题的Github。我有一个zip函数，现在它被输入为相同类型T的iterables。我想这个类型为任意混合输入类型...

flowtype typechecking static-typing

回答 2 投票 1

Python typing module: MI信

打字时是否有任何类似mixin的课程？例如，输入import Union类A：传递类B：传递类C：传递类D（A，B，C）：传递#current：ab是A或B，...

python multiple-inheritance typechecking

回答 2 投票 14

是否有使用Python输入模块为复合类型创建类型别名的更好方法？

我有一个带有一个参数的函数，它应该以int或None作为参数。有几种方法可以为这种复合类型创建类型别名：#test.py import typing IntOrNone_1 = ...

python typing typechecking

回答 1 投票 2

解决`f = f（）pure`的类型

最近我注意到幽默的升力可以写成liftA（）纯我认为这很整洁，所以作为一个笑话，我想我会根据这个做出一个新的“定义”liftA ......

haskell types typechecking applicative

回答 2 投票 8

检查对象是否是Swift中的给定类型

我有一个由AnyObject组成的数组。我想迭代它，并找到所有元素作为数组实例。如何在Swift中检查对象是否属于给定类型？

swift type-inference typechecking

回答 16 投票 228

Coq - 返回类型的值，它等于函数返回类型

根据某些定理，我们知道类型A等于类型B.如何在类型检查期间将其告知Coq编译器？我想实现一个非空树，使每个节点都知道它的大小：Inductive Struct：...

types coq typechecking

回答 2 投票 1

mypy：“__getitem__”的签名与超类型“序列”不兼容

我有一个继承自MutableSequence的类，如下所示：class QqTag（MutableSequence）：def __init __（self）：self._children = [] def __getitem __（self，idx：int） - >'QqTag'：...

python typechecking mypy

回答 1 投票 4

TypeScript：如何在编译时声明固定大小的数组以进行类型检查

更新：这些检查用于编译时，而不是在运行时。在我的例子中，失败的案例都是在编译时捕获的，我期待其他应该失败的情况下的类似行为。 ...

javascript typescript typechecking

回答 3 投票 5

甚至从模板发生的Idris类型不匹配

测试一个“简单”的身份类型示例，mod等同，但是传递性证明不会进行类型检查，即使是从模板中也是如此。不仅仅是修复，我想知道为什么？这是最小的片段......

idris typechecking theorem-proving

回答 1 投票 1

广义拉链功能的左侧从不进行类型检测

我试图在Idris中编写一个zip函数，它将任意长度相同的矢量（len）组合成一个HLists矢量。也就是说，我试图概括以下功能：...

idris typechecking

回答 1 投票 1

什么时候在Java中进行类型检查

我的作业中有一个问题，看起来像这样。只有在Java编译期间才会发生以下哪个过程？（i）类型推断 - 推断其类型的变量的类型......

java generics type-inference type-erasure typechecking

回答 1 投票 5

如何让这个Java instanceof测试返回false而不是错误？

我一直在我的Java代码中试验instanceof。 public class Test {public static void main（String [] args）{String favoriteFood =“sandwich”;布尔标志= ...

java instanceof typechecking

回答 2 投票 -2

将Objective C自定义模型实例存储到swift类到id实例

我正在使用swift 4.0和Objective C进入我现有的项目。我有一个Objective C自定义模型类DetailsModel，它有一个像@interface DetailsModel：NSObject @property（nonatomic，...

objective-c swift typechecking custom-data-type

回答 1 投票 0

是否在此代码中键入检查代码气味？ [关闭]

我有一个界面“IPartyCountService”，它计算客户数量和供应商数量。实现类“PartyCountService”使用类型检查来检查聚会是否......

c# oop typechecking

回答 7 投票 3

用于类型检查和不变性的Python描述符

阅读Python Cookbook并查看描述符，特别是在使用类属性时强制执行类型的示例。我正在写一些有用的课程，但我也想......

python immutability typechecking descriptor

回答 2 投票 0

与mypy的可比类型

我正在尝试创建一个泛型类来表示值具有下限和上限，并强制执行这些边界。从输入中导入Any，Optional，TypeVar T = TypeVar（“T”）class Bounded（object）...

python python-3.x typechecking duck-typing mypy

回答 1 投票 1

typechecking 相关问题

最新问题