Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
无法从用法推断方法的类型参数
也许我工作过度了 但这没有编译 CS0411 为什么 interface ISignatur
c
typeinference
推断“x => { throw .. }”的 Lambda 与重载方法中的 Func
匹配吗?
我不明白为什么 C 最终在以下 LINQPad 代码中执行不正确的扩展方法 void Main Actual Sync Action Expected Sync Action Run x gt x Dump Actual Async Tas
c
NET
Lambda
overloading
typeinference
Typescript / 类型安全柯里化函数
如何在打字稿中安全地输入柯里化函数 特别注意以下示例 interface Prop
javascript
typescript
typescripttypings
typeinference
为什么 GHC 在这里推断出单态类型,即使禁用了单态限制?
这是由解析 f f pure 的类型 https stackoverflow com questions 55388119 resolving the type of f f pure 55388309 noredirect 1 comme
Haskell
recursion
typeinference
parametricpolymorphism
Swift 中使用 T 型进行泛型调用
在我的应用程序中 我想创建一个通用方法 该方法根据给定类型 T 创建一个对象数组 我创建了以下函数 func getArray
generics
swift
typeinference
创建自定义 scala 集合,其中映射默认返回自定义集合?
特质TraversableLike A Repr 允许人们在其中进行收藏some函数将返回一个Repr 而其他人则继续返回类型参数That在功能上 有没有办法定义一个CustomCollection A 其中函数如map 其他的默认That
scala
Collections
typeinference
scalacollections
scala210
未推断扩展接口的通用类型
在下面的示例中 Typescript 可以推断出类型T在方法中foo从传递给它的参数bar 但它并没有推断出类型R 感觉应该如此 因为它知道类型T还有那个T extends I
typescript
generics
types
typeinference
在 Scala 中设计方便的默认值映射
我发现自己使用了很多嵌套映射 例如 Map Int Map String Set String 并且我希望在访问新密钥时自动创建新的 Map Set 等 例如 像下面这样 val m m 1992 foo bar 请注意 如果不需要 我不想
scala
Collections
typeinference
如何强制客户端代码使用合约初始化 Kotlin 中所有必需的构建器字段?
在 2019 年 JetBrains 开放日上 据说 Kotlin 团队研究了合约并试图实现context允许仅在某些上下文中调用函数的合约 例如函数build仅当以下情况时才允许被调用setName方法在它之前被调用过一次 Here ht
generics
kotlin
typeinference
Contract
具有类型推断功能的 Lisp 静态类型方言,适用于 Windows?
是否有静态类型的 Lisp 方言可以执行类型推断并与 Windows 兼容 我找到了 CMUCL 但它似乎没有 Windows 兼容版本 看一下SBCL http www sbcl org它源自 CMUCL 它通过类型声明对静态类型提供良好
Windows
lisp
typeinference
对于 Scala,“无全局类型推断”是什么意思?
我读过 Scala 的类型推断不是全局的 因此人们必须在方法上放置类型注释 这会是 本地 类型推断吗 我只知道一点点 原因是它面向对象的本质 但我不清楚 是否有 全局类型推断 的解释以及为什么 Scala 不能让初学者可以理解 The pr
scala
typeinference
statictyping
在这种情况下,scala 的类型检查是如何工作的? [关闭]
Closed 这个问题需要多问focused help closed questions 目前不接受答案 Start writing your ScalaFiddle code here sealed trait DSL A def run
scala
generics
patternmatching
typeinference
如何手动推断表达式的类型
给定 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
1
2
3
4
5
6
...8
»