type-inference 相关问题

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

教会数字与宇宙不一致

在以下代码中，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

Haskell声明为mach类型方案

我想知道Haskell类型声明与下面的类型方案匹配的是什么？ ∀a，b.H（a→b）⇒b这是来自4.1的明确性/一个稍后重载的理论在chi的回答之后编辑。我试过了......

haskell type-inference

回答 1 投票 1

你如何摆脱实现界面的多余演员？

假设我有一个接口公共接口ICardSuit {/ **短名称* / public String getName（）; / **此卡的颜色* / public ICardColour getColour（）;我决定......

java kotlin junit type-inference kotlintest

回答 2 投票 2

TypeScript：电路中断递归条件类型推断的任何技术？

我正在尝试键入一个函数，该函数接受一个将一系列项目减少为一个累计值的参数。这是对我所拥有的简化：//项目接口的存根类型Item {...

javascript typescript functional-programming type-inference conditional-types

回答 1 投票 4

了解功能类型签名

我无法理解OCaml中高阶函数的函数类型签名。 fun f - > f 3（int - > a） - > a我处理的方法是f 3部分将int作为输入并且...

syntax ocaml type-inference higher-order-functions type-signature

回答 2 投票 0

使用通用函数中的keyof更正类型推断

我需要编写泛型函数，它从对象类型的键子集中获取作为参数的对象和键，它对应于指定类型的值。我尝试按如下方式实现它。 ...

typescript generics types type-inference

回答 1 投票 1

意外的类型推断失败：类型参数的数量错误

在此示例中，编译器无法推断矩阵类型：类型Mat4x4 = [T; 16]; fn main（）{let m：Mat4x4 = [0.4323f32; 16]; println！（“{：？}”，m）;工作代码是：type ...

rust type-inference generic-programming

回答 2 投票 2

打字稿：使用接受组件实例的外部函数进行React渲染

我正在创建一堆内部具有一些常用功能的组件，其中一个是处理渲染的组件。简化，它看起来像这样：const render =（instance：React.Component

reactjs typescript type-inference

回答 1 投票 0

什么是语义网中的类型推断？不是编程

我想知道语义网中类型推断的定义，但是当我在谷歌搜索它时，我只在编程区域中找到一些定义。

semantic-web type-inference inference reasoning

回答 2 投票 -2

基于Typescript的基于条件类型的扩展行为与预期不符

假设我们有这个例子：class Base > {}类ClassA扩展Base {}类ClassB扩展了Base {}类型Condition = ClassA扩展...

typescript type-inference typescript-generics conditional-types

回答 1 投票 1

如何推断用作字段类型的实例类型（使用接口合并）？

我需要为外部库编写定义文件。我使用接口合并来扩充类，并且存在库类的字段与实例本身的类型相同的情况。演示代码：// ...

typescript generics interface instance type-inference

回答 1 投票 0

Scala类型推断和隐式转换

以下代码有效：scala> import scala.language.implicitConversions import scala.language.implicitConversions scala> implicit val longToInt =（l：Long）=> l.toInt longToInt：Long =＆...

scala type-inference implicit-conversion

回答 2 投票 0

从对象的键推断泛型类型

我的问题有点复杂，所以这里可能是所有必需的部分：//带有id的通用接口和字符串的Lieral类型接口IHandler {id：Id ;类型：...

typescript type-inference typescript-generics

回答 1 投票 1

用于curried函数的惰性类型推断

在以下示例中，对mkPair2的调用类型推断失败：#include 模板结构对{左; B对; };模板

c++ type-inference

回答 2 投票 4

刚性类型变量故障/怀疑不可信度

继续关于GADT的这个问题，我正在尝试建立一个EDSL（本文中的例子）但没有GADT。我有一些工作，避免加倍AST的数据类型;但......

haskell types type-inference gadt

回答 3 投票 7

在抽象语法树中键入信息

抽象语法树中存在哪些类型信息？ AST如何用于类型推理？我不明白在没有任何节点的情况下，如果给定AST，可以如何导出类型输入和输出...

types abstract-syntax-tree type-inference hindley-milner

回答 1 投票 0

为什么GHC在这里推断出单态类型，即使禁用了MonomorphismRestriction？

这是通过解析`f = f（）pure`的类型来提示的，它讨论了一个更复杂的例子，但这个也适用。以下定义编译没有问题：w :: ...

haskell recursion type-inference parametric-polymorphism

回答 1 投票 16

int list - > int而不是'a list - >'a

我是ocaml的新手（我在学校学习），在我的练习中，我需要编写一个函数，它给出了int列表的最小值。我写道：让rec minimum liste = match liste ...

polymorphism ocaml type-inference

回答 1 投票 0

为什么在变量上调用方法会阻止Rust推断变量的类型？

这段代码编译：＃[derive（Debug，Default）] struct Example; impl示例{fn some_method（＆self）{}} fn reproduction（） - >示例{let example = Default :: default（）; // ...

rust type-inference type-systems hindley-milner

回答 2 投票 30

最新问题

© www.soinside.com 2019 - 2024. All rights reserved.