Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
Erlang 中的静态类型检查
我慢慢地爱上了 Erlang 但只有一个很大很大的问题 我非常喜欢 Standard ML 和 ocaml 等语言 它们具有强大的静态类型检查功能 有没有一种好的 干净的方法来在 erlang 中引入某种静态类型检查 我正在看 type a
programminglanguages
ERLANG
typechecking
Java - 如何创建仅适用于类型上下文的注释类型? (PURE类型注释)
要创建适用于类型上下文的类型注释 除了使用元注释注释类型之外 没有其他方法 Target ElementType TYPE USE 然而 由于 Java 设计者的错误决定 该注释也适用于声明上下文 根据 Java SE 文档 它是这样写的
Java
annotations
typechecking
如何处理“恐慌:不可能的事情发生了”并在 Haskell 中继续
我有以下代码 它使用 GHC API 加载模块并获取表达式的类型 typeObjects String gt String gt IO Type typeObjects modules objects do defaultErrorHand
Haskell
dynamicloading
typechecking
ghcapi
对 Pandas DataFrame 进行类型检查
我想对 Pandas DataFrames 进行类型检查 即我想指定 DataFrame 必须具有哪些列标签以及哪种数据类型 dtype 存储在其中 一个粗略的实现 受此启发question https stackoverflow com
python
python3x
pandas
typechecking
检查 C# 中泛型方法的类型参数
是否可以在 C 中执行类似的操作 public void DoSomething
c
generics
typechecking
Flowtype - 字符串与字符串枚举不兼容
我有一个来自选择输入且类型为字符串的值 但是我想将其传递到函数中 更新语言 接收带有类型别名 Language 我面临的问题是 Flow 只允许我打电话更新语言如果我明确地将我的字符串值与枚举字符串进行比较 并且我想使用像 array in
javascript
string
enums
typechecking
flowtype
如何在不存储 TypeScript 的情况下进行内联类型检查?
我有一些界面 ITestInterface foo string 我想将此接口的实例作为参数传递给函数 该函数将采用任何对象类型 因此它本身不会进行类型检查 为了确保对象的类型正确 我可以使用存储 const passMe ITestInt
typescript
typechecking
我应该检查构造函数参数的类型(以及其他地方)吗?
Python 不鼓励检查类型 但在许多情况下这可能很有用 检查构造函数参数 例如检查敌人的布尔值 字符串 字典等 如果我不这样做并将对象的成员设置为参数 稍后会导致问题 检查函数参数 在属性中 如果有人设置了错误的值或不同的类型 我应该快速
python
typechecking
如何识别模板参数是否为 std::complex?
如何判断模板参数是否为std complex 我想要一个支持所有数据类型 如 float double int 等 的通用方法 我知道使用 std is same 我可以专门检查给定类型 例如 std complex
c
C11
templates
typechecking
complextype
AGDA 中极浅嵌入 VHDL 的指南
对于我的编程语言项目 我正在 agda 中做一个非常浅且简单的 VHDL 数字电路嵌入 目的是写出语法 静态语义 动态语义 然后写一些证明来展示我们对材料的理解 到目前为止我已经编写了以下代码 data Ckt Set where var
functionalprogramming
typechecking
agda
agdamode
与 mypy 的比较类型
我正在尝试创建一个泛型类来表示一个值具有下限和上限 并强制执行这些界限 from typing import Any Optional TypeVar T TypeVar T class Bounded object def init se
python
python3x
typechecking
ducktyping
mypy
Scala 宏:类型化(又名类型检查)树和非类型化树之间有什么区别
我正在开始使用 scala 宏 它们非常棒 但是我遇到了类型化 又名类型检查 和非类型化之间的区别Trees 例如 您不能调用c eval由于某种原因使用类型检查的树 我在 scala 宏文档中找不到关于此 类型检查 的文档 我知道他们仍在
scala
typechecking
scalamacros
检查函数参数类型是 Pythonic 吗?
我知道 Python 中通常不赞成对函数参数进行类型检查 但我认为我已经想到了这样做是有意义的 在我的项目中 我有一个抽象基类Coord 有一个子类Vector 它具有更多功能 如旋转 改变大小等 数字列表和元组也将返回 Trueisins
python
typechecking
C 或 C++ 中的函数类型
我有一个简单的问题 C 或 C 中的函数类型是什么 由于我们可以在 C 或 C 中拥有指向函数的指针 这意味着函数应该具有特定的类型 否则在函数创建期间进行类型检查就没有任何意义 有人可以解释一下我是否走在正确的道路上吗 如果我走在正确的道
c
function
pointers
typechecking
包含具有特征参数的结构的框的大小
我需要一个包含特征对象及其自身的结构 令人失望的是 以下代码无法编译 trait Foo struct Bar
compilererrors
Rust
traits
typechecking
在案例类的特征中定义“复制”方法
给出简化的代码示例 sealed trait A val c1 String val c2 Int def copy Z lt A src File Z case class B c1 String c2 Int src File exte
scala
typechecking
caseclass
traits
如何检查对象以查看其类型并返回强制转换的对象
我有向其传递对象的方法 在这个方法中 我检查它的类型 并根据类型对它执行一些操作并返回一个 Long 我已经尝试了所有我能想到的方法来做到这一点 但我总是收到几个编译器错误 告诉我它需要某个对象 但得到另一个对象 有人可以向我解释我做错了什
scala
casting
typechecking
JS 对象 null 检查 - 奇怪的 JS 问题[重复]
这个问题在这里已经有答案了 想象一下这个简单的场景 我有一个变量 它可以是带有一个属性 ID 的普通 JS 对象 即一个数字或 obj 变量可以为 null 我有简单的 test 函数 它检查变量是否不为 null 并且它必须具有有效的 i
javascript
typechecking
nullcheck
告诉我的库函数的用户传递的变量类型不正确的最佳方法是什么
我目前正在创建一个 javascript 函数库 主要供我自己使用 但你永远无法确定其他人最终是否会在他们的项目中使用它 我至少会创建它 就好像这可能发生一样 大多数方法仅在传递的变量具有正确的数据类型时才有效 现在我的问题是 提醒用户变量
javascript
typechecking
Rust“预期类型”错误打印完全相同的不匹配类型
夜间生锈 struct Foo
Rust
lifetime
typechecking
1
2
3
»