typechecking 相关问题

我有一个文件my_class.rb：＃类型：true class MyClass attr_accessor：a，：b def initialize（a：1，b：2）@a = a @b = b end def do_stuff将“＃{self。 class}：＃@ a＃@ b“ a * b + ...

ruby typechecking sorbet

回答 1 投票 0

TypeScript中的类类型检查

在ActionScript中，可以使用is运算符在运行时检查类型：var mySprite：Sprite = new Sprite（）; trace（mySprite是Sprite）; //真迹（mySprite是DisplayObject）; //真...

typescript typechecking

回答 2 投票 208

如何确定类型对等。命名和结构

[以下声明是针对使用等价名称的语言给出的：A，D：int的arry [1..100]； C：int的arry [1..100]； F：int的arry [1..100]；请说明以下哪个...

types compiler-construction typechecking

回答 1 投票 0

TypeScript泛型：泛型属性的并集

typescript generics type-inference typechecking

回答 1 投票 1

为什么Agda typechecker在该程序上崩溃

考虑以下（无效的）Agda代码数据示例：示例ex→设置ex：示例ex该类型可以通过以下方法在Agda中有效地写成文字，并利用Agda的...功能）]

typechecking agda type-theory

回答 1 投票 4

如何编写要进行类型检查的Typescript基本类型扩展方法

在Typescript中，我想以这种方式向原始类型添加扩展方法，以便在转换时对参数和返回类型进行类型检查。但是到目前为止，我还没有成功。我...

typescript extension-methods typechecking

回答 1 投票 0

使用Flow的互斥属性

我正在为所工作的公司构建UI组件。它在React Native中，并使用Flow进行类型检查。问题是我希望这些组件具有某些变体，但它们迫使我什么都没有，但...

javascript typescript react-native flowtype typechecking

回答 1 投票 0

为什么TypeScript不能在检查未定义的if语句后确定变量是否已定义，所以永远不会

我正在启用strictNullChecks的TypeScript 3.6.2中进行编译。假设我声明了一个可能未定义的变量：let filename：string | undefined;然后，回调可以为其分配一个值，或者...

typescript undefined static-analysis typechecking

回答 2 投票 4

C＃-与在单个方法中使用类型检查相比，具有不同类型的重载方法是否具有更高的性能？

说我有这个：public void DoThing（字符串文本）{DoThingWithText（text）; } public void DoThing（整数）{DoThingWithNumbers（number）; }并进行比较...

c# performance overloading typechecking

回答 1 投票 1

嵌套对象的默认属性未正确显示

我想为组件中的嵌套prop使用默认字符串，但是以下未显示默认值：export default SuccessModal =（{complete，setCompleted，...

reactjs react-native nested typechecking react-proptypes

回答 1 投票 0

求和类型-为什么在Haskell中show（Int | Double）与`（show Int）|不同？（显示Double）`

为什么这些不相等？显示$ if someCondition然后someInt else一些double，如果someCondition然后show someInt else show someDouble我明白，如果您将if ... else ...

haskell compiler-construction language-features typechecking

回答 2 投票 1

仅部分符合给定联合类型的数据-为什么TypeScript不抱怨？

给出以下类型定义：type BaseItem = {name：string; PurchaseAt：字符串; PurchasePrice：数量； };类型AvailableItem = BaseItem;类型SoldItem = BaseItem＆{soldAt：...

typescript types typechecking static-typing union-types

回答 1 投票 0

是否有一种方法可以在C ++ 17中创建编译时类型映射以进行类型检查？

我是C ++元编程/ SFINAE的新手，在开发检查以查看传递给方法的类型是否包含在预定义的类型列表中时，我遇到了麻烦。这里的上下文是...

c++ c++17 metaprogramming typechecking typemaps

回答 4 投票 0

验证函数中的返回语句

我正在浏览https://github.com/python/cpython/blob/master/Lib/datetime.py，偶然发现了一些类型检查功能（我简化了它们）def foo（year，month，day）：year = ...

python validation return conventions typechecking

回答 2 投票 0

typechecking 相关问题

最新问题