typechecking 相关问题

我有这个使用镜头和GHC的代码（很怪异）。记录：{-＃LANGUAGE DataKinds，PolyKinds，FlexibleInstances，UndecidableInstances＃-} {-＃LANGUAGE MultiParamTypeClasses＃-} {-＃LANGUAGE ...

haskell typeclass typechecking

回答 1 投票 5

ESLint不报告TypeScript编译器类型检查错误

寻求帮助，以将TypeScript编译器报告的类型错误输入到ESLint的输出中。库typescript-eslint（https：//github.com/typescript-eslint/typescript-eslint/blob / ...

typescript eslint typechecking

回答 2 投票 0

如何在C中使用静态断言来检查传递给宏的参数类型

我需要编写一个C宏来检查以确保传递给它的所有参数都是无符号的并且具有相同的整数类型。例如：所有输入参数均为uint8_t，或全部uint16_t，或全部uint32_t，或全部...

c gcc types macros typechecking

回答 1 投票 0

number_in_month练习（SML错误：将列表中的整数与整数进行比较时，运算符和操作数不一致）

我是Standard ML的新手，无法弄清楚为什么会出现这种类型的不匹配错误：fun number_in_month（month：int，dates：int list）=如果为null ...

sml typechecking

回答 1 投票 1

在这种情况下如何避免类型检查

情况如下：我们有一个游戏，其中有玩家和物品。当玩家拥有库存中的所有3个特定物品并进行组装（每个物品中只有1个...

java typechecking

回答 1 投票 0

使用Union类型设置默认值

我想通过mypy使用类型检查。函数的一个输入参数接受单个int或List [int]。我可以使用x：Union [int，List [int]]，但是，设置...的正确语法是什么...

python typechecking mypy

回答 1 投票 0

使用两个参数化模块时的OCaml类型检查问题

我有两个模块，Graph和Game，其他模块对其进行了参数设置。它们还包含f和g函数，当我在测试模块中使用它们时会导致类型检查问题。我遗漏了很多...

ocaml q typechecking

回答 1 投票 0

检查对象是否不是打字稿中任何类的实例

我有一个接受对象并对其进行代理的函数。我不希望它代理类，并且我想用参数类型来断言。我怎样才能做到这一点？类型NonClassObject = ???;出口...

typescript class object typechecking

回答 1 投票 0

PropTypes：初始useState返回对象，并在添加第一个项目时未通过propTypes检查

我不确定这是预期的行为，多少是用户错误；我将字典状态初始化为一个空数组。 const [dictionary，setDictionary] = useState（[]）;控制台...

arrays reactjs object typechecking react-proptypes

回答 2 投票 1

使用Typescript声明了一个类型，但是Javascript在内部使用了错误的类型

我对Typescript还是很陌生，并通过一个教育视频来工作。昨天我发现了一个奇怪的行为，并认为这是一个错误。示例：const json ='{“ x”：10，“ y”：10}'; const坐标：{x：数字； ...

javascript json typescript typechecking jsonparser

回答 1 投票 0

typechecking 相关问题

最新问题