type-inference 相关问题

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

我有一个函数，在参数中采用另一个函数。我想返回一个通用接口，该接口由参数中传递的函数的返回类型配置。功能doSomething

typescript generics type-inference

回答 2 投票 2

使用std :: fs :: File; fn main（）{let tmp =“tmp.zip”;让save_to_tmp_file = || {let mut tmp_zip = File :: create（tmp）？好（（）） }; save_to_tmp_file（）; }（游乐场）......

error-handling rust closures type-inference

回答 3 投票 2

在隐式搜索期间如何自动删除Scala特征？

我正在使用类型类，并且有些问题会自动导出它们，这些类型无关地扩展了额外的（标记/指标）特征。这很难解释，但这个最小的例子应该让它......

scala type-inference implicit

回答 1 投票 3

为什么这个不可为空的val变得“可以为空”？

所以我有一个简单的回调类：类Callback （val onResponse：（T） - > Unit，val onError :( Throwable） - > Unit）现在我想实现一个处理错误的方法。也许有 ...

lambda kotlin callback type-inference kotlin-null-safety

回答 1 投票 2

C＃为什么不推断我的通用类型？

我通过通用方法获得了很多有趣的乐趣（原意是有趣的）。在大多数情况下，C＃类型推断足够聪明，可以找出必须在我的泛型方法上使用哪些泛型参数，但是现在我有了...

c# .net c#-4.0 type-inference

回答 7 投票 64

Scala underScore奇怪的行为：错误：缺少扩展函数的参数类型[重复]

首先，这个：“1 2”.split（“”）。toSet和this：Set（“1”，“2”）都评估为同一个东西，即res1：scala.collection.immutable.Set [String] =设置（1,2）为什么然后，当我这样做：设置（“1”，“2”）......

scala type-inference map-function scala-placeholder-syntax

回答 2 投票 2

我如何获得TypeScript来自动推断`yield`调用结果的类型？

在以下代码示例中：function * gen（）{让v =产生Promise.resolve（0）;返回v; } v的类型被推断为任何。我想知道是否有一种方法可以推断出...

typescript generator type-inference yield

回答 1 投票 6

在一组＆str上使用BTreeSet :: range时，需要输入注释

我使用BTreeSet :: range方法遇到了一些麻烦。使用std :: collections :: BTreeSet;使用std :: ops :: Bound :: Included; fn main（）{let set = BTreeSet :: new（）; set.insert（ “TEST1”）;组....

rust set range binary-tree type-inference

回答 2 投票 0

TypeScript中的类型推断在特殊用例中无法正常工作

TypeScript中的类型推断是惊人的。不过我有一个案例，我认为TypeScript可以推断出相应的类型，但事实并非如此。现在我问自己，这是不可能的......

typescript types type-inference

回答 1 投票 1

类型推导如何在这个Docopt示例中工作？

使用docopt库查看此代码：const USAGE：＆'static str =“... something ......”; ＃[derive（Deserialize）] struct Args {flag：bool，} type Result =结果::结果

rust type-inference type-deduction docopt

回答 1 投票 1

Kotlin - 用于google的Place Autocomplete API的Clear Button监听器onClick未被调用

我正在尝试为来自Google的Place Autocomplete API的清除按钮创建一个监听器。我在片段的onViewCreated方法clearButton（）中调用了我的clearButton（）方法...

android kotlin google-places-api onclicklistener type-inference

回答 2 投票 0

如何在WebStorm中显示推断的TypeScript类型？

在VS2012中，您可以将鼠标悬停在typescript变量上，它将显示推断的类型。 webstorm中是否有类似的功能？

typescript phpstorm webstorm type-inference

回答 3 投票 33

在应用之前选择功能参考：类型推断的问题

我想在将它应用于参数之前选择函数引用，但Kotlin无法推断它的类型。假设我有一个类类Circle（val radius：Float）和一个函数fun sortByRadius（...

generics kotlin functional-programming type-inference kotlin-extension

回答 2 投票 1

Kotlin中类型推断失败的原因

有人可以帮助我绕过Kotlin编译器行为吗？该程序的目的是将输入字符串转换为相应的类型（BMsg或CMsg）并打印结果...

oop generics kotlin type-inference

回答 1 投票 1

使用局部类型推断的交叉点类型的有用应用

正如本博客所述，我们现在能够使用本地类型推断编写以下内容（根据我的知识，这是以前在不引入更多代码的情况下不可能的）：public static ...

java type-inference

回答 2 投票 8

使用函数接口来确保参数但推断出更具体的返回类型

我有一个函数签名，我需要遵循一系列函数，如下所示：输入ActionCallback =（param1：SpecificType，param2：OtherType）=> Promise

typescript type-inference typescript-generics inferred-type

回答 1 投票 0

类型推断并不总是适用于角度材质的MatSelect

在Angular组件中，我有一个MatSelect类型的子项，我可以通过以下代码获取@ViewChild（'mySelect'）mySelect：MatSelect;我现在可以在代码中使用mySelect来对...做出反应

angular typescript angular-material type-inference

回答 1 投票 1

印刷教会布尔

以下代码用于打印布尔教会的编码为Haskell的Bool：{ - #LANGUAGE FlexibleInstances＃ - }实例显示（t - > t - > t）其中show b = show $ b True False其中......

haskell types type-inference church-encoding

回答 1 投票 0

教会数字与宇宙不一致

在以下代码中，Coq接受语句add'_commut，但由于Universe不一致而拒绝add_commut。设置宇宙多态性。定义nat：类型：= forall（X：...

types coq type-inference lambda-calculus church-encoding

回答 1 投票 1

为什么Kotlin没有明确的打字？

我对此感到好奇，为什么kotlin设计师认为在Kotlin中删除明确的输入是个好主意？对我来说，用Java编写显式输入并不是一种“痛苦”（或任何其他强烈的...

java android kotlin type-inference

回答 2 投票 5

type-inference 相关问题

最新问题