Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
具有多个类约束的 Haskell 类型签名
我怎样才能有多个类约束 所以如果A is an Eq and B is a Num 我可以说 f Eq a gt a gt b or f Num b gt a gt b 那么 我怎样才能拥有Eq a gt and Num b gt 同时 f
Haskell
types
statictyping
typesignature
Common Lisp 类型声明未按预期工作
当我在 Common Lisp 中定义一个函数时 如下所示 defun foo n declare type fixnum n n 42 我期待一个像这样的电话 foo a 立即失败 但在调用时失败 是个declareform 不保证静态类
lisp
commonlisp
statictyping
为什么 foreach 跳过接口类型的编译时类型检查?
当我使用foreach在 C 中的循环中 如果项类型是接口类型 则似乎不会执行编译时类型检查 E g class SomeClass interface SomeInterface IEnumerable
c
visualstudio2008
foreach
statictyping
如何解决来自pyright的“类型部分未知”警告?
我通过pyright 使用严格的类型检查 当我有一个返回 pytorch 的方法时DataLoader 然后 Pyright 抱怨我的类型定义 声明的返回类型 DataLoader Unknown 部分未知 Pyright 报告未知变量类型
python
python3x
typing
statictyping
pyright
厌倦了用非语义测试来弥补动态类型 - 建议吗?
在开始学习计算机工程之前 我曾经使用 Rails 之前是 PHP 进行了大量的 Web 编程 从那时起 我用 C 完成了很多学校作业 并用 Objective C Mac 的东西 完成了一些个人工作 我学会了喜欢静态类型 但现在我不得不做一
c
Java
rubyonrails
scala
statictyping
用鸭子类型语言模拟静态类型的各个方面
在我目前的工作中 我正在构建一套严重依赖于对象的 Perl 脚本 使用 Perl 的bless 在哈希上尽可能接近 OO 现在 由于缺乏更好的表达方式 我公司的大多数程序员都不是很聪明 更糟糕的是 他们不喜欢阅读文档 并且似乎在理解其他人的
perl
languageagnostic
ducktyping
statictyping
异常对象的静态类型
我从 C Primer 第 5 版 第 18 1 1 节 中阅读了以下内容 当我们抛出一个表达式时 该表达式的静态编译时类型决定了异常对象的类型 所以我尝试了以下代码 include
c
trycatch
throw
statictyping
dynamicbinding
Python 中的静态类型检查工具
我正在使用现有的大型 Python 代码库 并希望开始添加类型注释 以便获得一定程度的静态检查 我在想象类似的事情Erlang http www erlang org doc reference manual typespec html 强
python
statictyping
当映射到相同类型时,Scala 的 map() 的行为是否应该不同?
在Scala Collections框架中 我认为使用时存在一些违反直觉的行为map 我们可以区分 不可变 集合的两种转换 那些其实现调用newBuilder重新创建结果集合 以及那些经历隐式CanBuildFrom获得建造者 第一类包含所
scala
typeinference
scalacollections
implicit
statictyping
F# 和运算符重载:(>) 和 (^)
好的 有人可以向我解释为什么 F 允许您重载 gt 和 运算符 但不允许您使用它们吗 op Addition Works just fine op Concatenate Compiler error in F Apparently onl
F
operatoroverloading
statictyping
在 Python 3.5 中,如何指定函数作为类型提示?
指定变量应该是函数 相当于委托 Func
python
python3x
typehinting
statictyping
为什么Java中必须声明接口?
有时 我们有多个类 它们的某些方法具有相同的签名 但与声明的 Java 接口不对应 例如 两者JTextField and JButton 其中包括其他几个javax swing 有一个方法 public void addActionLis
Java
interface
statictyping
ducktyping
structuraltyping