type-inference 相关问题

类型推断是使用类型系统定义的规则自动推断程序类型的过程。

GHC推断我的模糊类型以使约束成功

[在实现类型级编码树的早期，我遇到了GHC在其类型推断中的特殊行为，当它遇到涉及类型约束的模棱两可的类型时。我...

haskell type-inference typeclass

回答 1 投票 1

模式匹配中方法的类型推断与类类型参数之间的区别

为什么类型匹配来自封闭方法而不是封闭类时，模式匹配的工作方式不同？例如，特征Base [T]案例类Derived（v：Int）扩展了Base [Int] ...

scala pattern-matching type-inference type-parameter

回答 1 投票 8

如何在Swift中创建一个通用函数，除非它是可选参数，否则它将拒绝给定参数？

此问题是我先前的问题的跟进：我希望系统报告不符合协议的要求，但事实并非如此！为什么？请阅读所提到的问题以获取更好的主意...

swift optional type-inference swift-protocols swift-optionals

回答 3 投票 0

scala的类型检查在这种情况下如何工作？

//在这里开始编写您的ScalaFiddle代码密封特征DSL [A] {// def run（）：A = {//此匹配{// case GetLength（something）=> // something.length // case ShowResult （...

scala generics pattern-matching type-inference

回答 3 投票 5

为什么在没有返回值的lambda中添加throw会被推断为Func 而不是Action？

我遇到了一个问题，由于歧义的调用，我正在编写的库的某些测试代码无法编译，但用法对我来说似乎很清楚。经过进一步调查，我发现添加...

c# lambda action type-inference func

回答 1 投票 5

TypeScript：当提供变量CLASS作为函数参数时，推断返回类型为该类的实例（仅从参数中得出）

我想创建一个将实际的类对象本身作为参数的函数（实际上是在充满多个参数的对象中，并且我希望将该函数的返回类型推导为...

typescript class generics types type-inference

回答 1 投票 0

在TypeScript中键入mapShape函数

我想使用这样的实用函数：const out = mapShape（{foo：1，bar：'2'，baz：'hello'}，{foo：x => String（x），bar：x = > parseInt（x）}）//输出{foo：'1'，bar：2}是...

typescript type-inference

回答 1 投票 1

Scala无法推断Reader monad实现中的参数类型

我正在使用Scala 2.13，并且我正在开发自己的Reader monad。 monad的实现如下。对象ReaderMonad {隐式def reader [From，To]（f：From => To）：Reader [...

scala type-inference implicit reader-monad

回答 1 投票 1

推断泛型函数[typescript]中导入的模块默认类型

我有一个简单的模块，如下所示：// my-module.ts接口IProps {prop1：string; prop2：字符串; } const someData：IProps = {prop1：'val1'，prop2：'val2'};导出默认值{someData：...

typescript generics type-inference

回答 1 投票 0

打字稿推断而未列举所有可能性

我想知道是否存在以下问题的解决方案：我有两个接受不同输入参数的函数，我有一个将每个函数映射到字符串的对象。我定义了一个...

typescript type-inference

回答 1 投票 1

为什么在Typescript中需要推断关键字？

为什么打字稿人创建了infer关键字？根据文档，这是如何使用它的示例：类型ReturnType = T扩展（... args：any []）=>推断R吗？ R：...

typescript keyword type-inference conditional-types

回答 2 投票 1

如何实现采用参数化特征子类型并返回它的scala泛型函数

我在运行时不需要有关类型T的任何信息，因此我认为ClassTag在这里没有用。我只需要在函数中返回与参数相同的类型。 class MyClass [T]扩展了A ...

scala generics type-inference

回答 2 投票 2

typeclass默认方法实例中的歧义类型解析

为什么以下代码无法正确键入？ {-＃LANGUAGE AllowAmbiguousTypes，MultiParamTypeClasses＃-}模块主类，类接口a b c，其中get :: a-> [b] change :: b-> ...

haskell types type-inference typeclass

回答 1 投票 3

证明runtimeClass满足Scala中的Bound类型

我有一个方法以Parquet形式编写我的一个类Foo，该类被定义为Thrift。导入Foo导入org.apache.spark.rdd.RDD导入org.apache.thrift.TBase导入org.apache ....

scala generics type-inference type-bounds classtag

回答 1 投票 0

为什么类型推断不适用于引用类型？

我写了类似下面的代码：fn foo（）{let x =＆1;令y = 2;令z：u32 = x * y + 42_u32; }，我得到一个错误：error [E0277]：无法将u32添加到i32-> src / main.rs：11：...

compiler-errors rust type-inference

回答 1 投票 0

无法理解TypeScript中keyof的语义

我有以下简单的示例，其中声明了K扩展T的key，但是为findMember推断的返回类型的结果不同，我真的不明白为什么会有这样的...

typescript type-inference keyof

回答 1 投票 0

打字稿中相同实现的不同返回类型推断

我想了解以下两个实现之间为什么会有类型差异。他们两个都产生相同的结果，但是他们两个的返回类型都不同。 const from = [... ... >>>

javascript typescript type-inference

回答 1 投票 0

Typescript中具有通用数组的类型推断

//通用约束类Car {print（）{console.log（'我是汽车'）}} class House {print（）{console.log（'我是汽车'）}}接口Printable {print （）：无效； } //告诉...

typescript generics type-inference typescript-generics

回答 1 投票 0

闭包作为Kotlin默认参数后面的参数

我有一个有趣的功能 get（path：String，params：MutableMap ？= null，headers：MutableMap ？= null，resolver：ResponseResolver ）：HttpRequest＆... ] >>

kotlin lambda parameters closures type-inference

回答 1 投票 0

多态类型的专业类型

我正在学习生锈（来自haskell背景）。而且我正在努力使用多态类型-在haskell中，我将使用Holes / GHC类型推断来确定...

rust type-inference

回答 1 投票 3

type-inference 相关问题

最新问题