Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
尝试/捕获或验证速度?
我正在使用 Python 每当我必须验证函数输入时 我都会假设输入有效 然后捕获错误 就我而言 我有一个通用的Vector 我用它来做一些不同的事情 其中 之一就是加法 它的功能既是Color 类并作为Vector 所以当我向Color 它
python
performance
Exception
typechecking
julialang:可以(应该)在编译时捕获这种类型错误吗?
function somefun x Int 1 x 0 5 end 编译时没有任何警告 当然 调用它会产生 InexactError Int64 0 5 问题 你能强制执行编译时检查吗 从这个意义上说 Julia 是一种动态语言 所以 不
Julia
typechecking
Python——检查对象是否是某个模块中任何类的实例
需要一种方法来检查对象是否是某个特定模块中任何类的实例 我知道我可以通过从该模块显式导入每个类并检查元组来做到这一点 from my module import ClassOne ClassTwo gt gt gt isinstance m
python
class
types
module
typechecking
是否可以在 ES6 项目中使用自定义类型定义?
我的团队正在开发一个相对较大的 NodeJS 项目 该项目用 ES6 编写 由 babel 转译 然后使用 Serverless 部署为 AWS lambda 该项目的重点是使用 映射 转换和输出我们定义的一种特定对象类型 我们的问题是 E
javascript
nodejs
ECMAScript6
VisualStudioCode
typechecking
Ruby 中检查变量是否为字符串
还有比下面更惯用的吗 foo class String 我想你正在寻找instance of is a and kind of 将为派生类的实例返回 true class X lt String end foo X new foo is a
ruby
idioms
typechecking
有没有更好的方法使用Python的类型模块为复合类型创建类型别名? [复制]
这个问题在这里已经有答案了 我有一个带有一个参数的函数 它应该采用int or a None作为论证 有多种方法可以为此类复合类型创建类型别名 test py import typing IntOrNone 1 typing TypeVar
python
typing
typechecking
python 打字模块:Mixin
下面有没有课typing其行为类似于 mixin 例如 from typing import Union class A pass class B pass class C pass class D A B C pass current a
python
multipleinheritance
typechecking
Scala 类型推断和多个参数列表
斯卡拉 2 11 8 考虑以下代码 trait Class A def f1 B gt A arg1 Int ord Ordering B Int def f2 B gt A arg1 Int ord Ordering B Int def
scala
typeinference
typechecking
如何测试未知的 Delphi RTTI TValue 是否反映任何类型的通用 TList<>(或至少 TEnumerable<>)的对象?
在德尔福 如果我有一个TValue反映未知对象的实例 如何测试该对象是否是任何类型泛型的实例TEnumerable lt gt 或者甚至更好 也which它是特定通用枚举类型的实例 例如TList lt gt 注意 我已经知道如何轻松检查其
Delphi
generics
RTTI
typechecking
有没有办法让 SQL Server 验证存储过程中的对象引用?
以下代码在 SQL Server 中执行良好 create proc IamBrokenAndDontKnowIt as select from tablewhichdoesnotexist 当然 如果我尝试运行它 它会失败 对象名称 ta
sqlserver
storedprocedures
typechecking
在 C 中强制执行强类型检查(typedef 的类型严格性)
有没有办法对相同类型的 typedef 强制执行显式强制转换 我必须处理 utf8 有时我会对字符计数和字节计数的索引感到困惑 所以最好有一些 typedef typedef unsigned int char idx t typedef
c
typedef
strongtyping
typechecking
在 C 中是否有强制类型不兼容的好方法?
出于类型检查的目的 我想定义一个函数 void myfunc type1 a type2 b where type1 and type2都类型定义为uint8 t 到目前为止一切顺利 但出于理智和检查目的 想想 DbC 我想防止使用type
c
typeconversion
typechecking
python 3中的函数注释出现“名称未定义”错误
我正在尝试使用 python3 类型注释功能 这是一些没有注释的玩具函数 def fa func args return func args def fb x str return x returned fa fb Newton 这些工作正
python3x
typechecking
如果函数声明了返回类型,mypy 是否仅对函数进行类型检查?
以下文件 from typing import List class A def init self myStr self chars List int list myStr def toString self return join se
python
python3x
typechecking
mypy
TypeScript 中的类类型检查
在 ActionScript 中 可以使用以下命令在运行时检查类型 是运算符 var mySprite Sprite new Sprite trace mySprite is Sprite true trace mySprite is Di
typescript
typechecking
GHC 7.7 中引入的自由覆盖条件破坏了 GHC 7.6 中有效的代码
The idea 我正在写一个DSL 编译为 Haskell 该语言的用户可以定义自己的不可变数据结构和关联函数 我所说的关联函数是指属于数据结构的函数 例如 用户可以编写 用 pythonic 伪代码 data Vector a x y
Haskell
ghc
typeinference
typeclass
typechecking
在 Python 中使用正确的类型提示对序列进行子类化
我正在尝试在 Python 中实现一种自定义序列类 from typing import Sequence TypeVar List T TypeVar T class MySequence Sequence T def init self
python
typechecking
mypy
在编译时检查模板参数是否无效
当我选择时 我尝试包装 Windows API 函数来检查错误 正如我在之前的 SO 问题中发现的 我可以使用模板函数来调用 API 函数 然后调用GetLastError 检索它可能设置的任何错误 然后我可以将此错误传递给我的Error类
c
C11
variadictemplates
compiletime
typechecking
Raku 在编译时执行哪些类型检查?未来这种情况会改变吗?
目前 截至 2020 年 8 月 Rakudo 不会在编译时对函数的返回值进行类型检查 也就是说 它不提供函数满足其返回约束的静态保证 具体来说 以下两个函数都编译为 Raku sub get int gt Int bug sub get
raku
typechecking
rakudo
检查对象是否是 Swift 中的给定类型
我有一个由以下组成的数组AnyObject 我想迭代它 并找到所有属于数组实例的元素 如何在 Swift 中检查对象是否属于给定类型 如果您想检查特定类型 可以执行以下操作 if let stringArray obj as String
swift
typeinference
typechecking
«
1
2
3
»