Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
如何手动推断表达式的类型
给定 Haskell 函数 head filter fst 现在的问题是如何手动 手动 找到类型 如果我让 Haskell 告诉我我得到的类型 head filter fst Bool b gt Bool b 但我想了解仅使用所用函数的签名
Haskell
types
typeinference
unification
防止被 0 除的 Typescript 类型
我正在使用打字稿创建一个用于培训目的的计算系统 但在除法过程中出现打字错误 您知道如何解决吗 type Variable value number resolve gt number type NoZeroVariable value Om
typescript
types
typeinference
dividebyzero
推断类型和动态类型
在编程语言中 推断类型和动态类型有什么区别 我了解动态类型 但不明白动态类型与推断类型有何不同以及有何不同 有人可以用一些例子来解释一下吗 推断类型 在编译时设置一次 实际上 推断的部分只是节省时间 因为如果编译器可以计算出类型名 则您不必
typeinference
dynamictyping
隐式强制转换对委托类型推断的意外影响
我有一个简单的Money带有隐式转换的类型decimal struct Money decimal innerValue public static implicit operator Money decimal value return
c
delegates
typeinference
Scala 类型参数推理因 Nothing 失败
scala gt class A T defined class A scala gt class B T a A T defined class B scala gt val b new B new A Int b B Int B 1ff
scala
typeinference
存在类型和类型成员的 Scala 类型推断
以下代码无法编译 trait A F def find x Int F def fill f F Unit object TestA def test T lt A F forSome type F t T t fill t find 0
scala
typeinference
existentialtype
typemembers
使用不带标签的 Core.Std.List.fold_left
我正在尝试 Core 的List fold left List fold left a Core Std List t gt init b gt f b gt a gt b gt b
types
polymorphism
ocaml
typeinference
label
使用 Rank2Types 相比 RankNTypes 有什么优势吗?
据我所知 仅 针对 2 级类型存在可判定的类型检查算法 GHC 是否以某种方式利用了这一事实 它有任何实际意义吗 是否还有 2 级类型的主要类型概念和类型推断算法 如果是的话 GHC 使用它吗 与Rank 2类型相比 Rank 2类型还有其
Haskell
ghc
typeinference
higherranktypes
使用 Akka java API 时 Kotlin 类型推断编译错误
我想在 Kotlin 程序中使用 Akka java API 当我想设置时onCompleteakka 的回调Future 我遇到了 Kotlin 编译器错误 而 java 等效项工作得很好 val future Future
Java
akka
typeinference
kotlin
Typescript 可以推断由其基类的方法实例化的扩展类实例的类型吗?
考虑以下 Typescript 片段 class Animal constructor name string this name name name string haveBaby name string return type retu
javascript
typescript
constructor
subclass
typeinference
Scala 无法推断
我有一个非常简单的 Spark 代码片段 它在 Scala 2 11 上运行 并在 2 12 后停止编译 import spark implicits val ds Seq val toDF col1 ds foreachPartition
scala
apachespark
typeinference
为什么编译器无法推断对象数组类型?
我想知道为什么这是有效的 object array bla bla bla 23 true 但这些不是 var array bla bla bla 23 true var array2 new bla bla bla 23 true 在第二
c
Arrays
typeinference
使用推断的 (?) 类型克隆 std::iter::Map
我在以紧凑的方式克隆地图时遇到问题 extern crate itertools num use itertools num linspace fn main 440Hz as wave frequency middle A let fre
Iterator
Rust
clone
typeinference
仅当 S 和 T 不同时,Func
的 T 才从 lambda 表达式的输出推断出来?
When S and T是不同的 这有效 public static void Fun
c
generics
typeinference
Func
有没有办法在 TypeScript 中使用基于现有常量的计算字符串来声明联合类型?
假设我们有以下常量 const something foo bar num 67 str str some prop 12 topProp 25 任务 为以下深度属性访问函数实现类型检查 example getByPath foo bar
typescript
generics
types
typeinference
C# 泛型类型推断与协方差 - bug 或限制
当具有依赖参数的泛型方法推断类型时 它在某些情况下会给出意外的结果 如果我明确指定类型 则一切都可以正常工作 无需任何进一步的更改 IEnumerable
c
generics
typeinference
covariance
[fn] 与 [(fn, u8)] 之间的 Rust 差异
为什么会这样编译 fn main let xs 1 2 3 but 才不是 fn main let xs 1 1 2 2 3 3 编辑 要明确的是 问题不是为什么它不编译 It is 这两个之间有什么区别 第一个可以编译 但第二个却不能 第
Rust
typeinference
如何从投影类型推断正确的类型参数?
我在让 Scala 从类型投影推断正确的类型时遇到一些麻烦 考虑以下 trait Foo type X trait Bar extends Foo type X String def baz F lt Foo x F X Unit 然后以下
scala
polymorphism
typeinference
typeprojection
在这个 Docopt 示例中类型推导是如何工作的?
使用 docopt 库查看此代码 const USAGE static str something derive Deserialize struct Args flag bool type Result
Rust
typeinference
typededuction
docopt
如何在 Verilog 中推断 Block RAM
我在一个项目中遇到了一个非常具体的问题 这个问题已经困扰我好几天了 我有以下 RAM 模块的 Verilog 代码 module RAM param clk addr read write clear data in data out pa
verilog
typeinference
RAM
1
2
3
4
5
6
7
»