无限递归函数的推断类型

文章/答案/技术大牛

发布

1回答

如何对没有显式返回类型的递归函数进行类型检查？

function、recursion、compiler-construction、typechecking、function-call

我正在写一种没有输入函数的语言。这意味着，为了进行类型检查，我需要推断函数调用的返回类型。但是，当某人编写递归函数时，类型检查器进入无限递归，试图推断函数主体内函数调用的类型。类型检查器执行如下操作：推断函数调用实际参数的</

浏览 0提问于2019-08-08得票数 1

回答已采纳

2回答

ocaml、type-inference、hindley-milner

对于类似如下的循环：根据try.ocamlpro.com的签名是：为什么会这样呢？

浏览 14提问于2018-02-19得票数 1

回答已采纳

2回答

为什么类型同义词不允许在Haskell中使用递归？

haskell、types

有没有人能解释为什么这两个代码都能很好地编译：newtype B a = B (A a (B a))但是我不能通过类型同义词创建类似的递归定义的类型有没有办法避免在我想要类型递归的地方处理额外的构造函数X？无论如何，我主要是在传递挑选b的访问器函数，所以我基本上没问题，但是如果有一

浏览 1提问于2012-01-23得票数 21

回答已采纳

3回答

什么情况下会发生GHC检查识别？

haskell、ghc、typechecking

GHC发生检查阻止您构造无限类型。它的目的是防止代码中的常见错误，还是防止类型检查器无限循环，还是两者兼而有之？它识别了什么情况，恶意用户有可能欺骗它(就像在安全的Haskell上下文中一样)进入循环吗？如果类型系统是Turing-complete (是吗？)我不明白GHC怎么能保证计算会停止。

浏览 10提问于2012-09-19得票数 6

回答已采纳

1回答

在Haskell (GHC)中使用什么算法来派生递归表达式类型？

haskell、recursion、ghc、type-inference、hindley-milner

考虑以下示例： f x = xGHC推断f :: a -> a f x = const x g现在GHC推断出f:: Char -> Char，即使在前一种情况下类型可能是a -> a。(Bin _ t) = 1 + 2 * size t 这里GHC不能推断size的<em

浏览 18提问于2014-06-08得票数 18

回答已采纳

1回答

使用EXC_BAD_ACCESS：：default()时的默认值

rust、exc-bad-access

我有一个看起来很简单的结构，在这里我实现了默认的特征： #[derive(Debug, PartialEq)] Trust, ..Default::default() } } 以及对导致堆栈溢出的默认方法的测试我确定我漏掉了一些明显的东西，但又搞不清楚是什

浏览 31提问于2021-11-16得票数 0

回答已采纳

2回答

为什么eclipse抱怨“递归方法循环需要结果类型”？

scala、recursion、methods

我正在编辑eclipse中的以下代码，但是它抱怨说“递归方法循环需要结果类型”，那么错误是什么呢？谢谢。Int) = else loop(acc * n, n - 1) } }package week2 def factorial(n: Int): Int = { def loop(acc: Int, n:

浏览 3提问于2016-07-24得票数 0

回答已采纳

1回答

类型记录可以推断递归函数，但不能推断递归类型。

typescript

类型记录似乎能够推断递归函数的类型： * Typescript correctly infers the type is * const referencesSelf: () =>means recursion of the functionconst referencesSelf = () => {}; 但是，无法推断具有递归性质的

浏览 4提问于2021-07-18得票数 1

1回答

推断类型似乎检测到无限循环，但到底发生了什么呢？

haskell、type-inference、type-systems、ml、hindley-milner

在Andrew的中，作者使用的实现作为ML的学习练习，并很高兴地发现一个“不正确”的类型推断。令我惊讶的是，编译器报告了一种换句话说，这个排序函数接受任何类型的列表，并返回整数列表。那是不可能的输出必须是输入的排列；它怎么可能有不同的类型？读者肯定会发现我的第一个冲动是熟悉的

浏览 1提问于2009-12-02得票数 25

回答已采纳

1回答

相互递归函数的辛德雷·米尔纳型推理

haskell、functional-programming、ocaml、compiler-construction、hindley-milner

我正在制作一种强类型的玩具函数式编程语言。它采用辛德雷米尔纳算法作为类型推理算法。let rec g n = if n == 0 then 0 else f (n - 1) f和g是相互递归的函数现在，当类型

浏览 0提问于2018-03-06得票数 6

回答已采纳

1回答

Haskell是如何将图灵完整性添加到系统F中的？

haskell、type-systems、lambda-calculus、turing-complete、system-f

我一直在阅读各种类型的系统和lambda计算器，我看到lambda立方体中所有类型的lambda计算器都是强规范化的，而不是图灵等价物。这包括System，简单类型的lambda演算加上多态。这就引出了以下问题，我一直找不到任何可理解的答案： Haskell中的哪些语言特性不属于F系统的形式主义？允许图灵

浏览 5提问于2014-08-12得票数 48

回答已采纳

2回答

为什么我不能声明推断类型？

haskell、types

In an equation for `runcountacc':但是，当删除runcountacc的类型声明时) = runcountacc (n+(if head xs==x then 0 else 1)) xs 代码加载正常，当ghci被询问runcountacc的类型时，我们得到以下结果：runcountacc :: (N

浏览 1提问于2011-11-24得票数 6

回答已采纳

2回答

空洞和荒谬是如何运作的？

purescript

Void的源代码声明： show = absurd absurd a = spin a spin (Void b) = spin b Void似乎是一种无限递归类型，而absurd则是一种无穷递归函数。我试着在REPL中运行show ((unsafeCoerce "lol&quo

浏览 0提问于2018-05-14得票数 2

回答已采纳

1回答

Json4S递归方法解析需要一个结果类型

scala、json4s

我在我的scala程序中使用json4s库。我的build.sbt看起来就像 "org.json4s" % "json4s-native_2.11" % "3.3.0"在我的代码中，我有一个函数import org.json4s.native.JsonMethods._class Foo{ def

浏览 1提问于2016-02-05得票数 0

回答已采纳

1回答

使用递归调用的函数类型推断

f#、type-inference

我正在尝试实现一种自定义语言，允许从函数的最后一条语句中推断出函数的返回类型。但是，当找到直接或间接的递归函数调用时，类型推断系统显然会失败。func factorial(a:int) -> 1 a * factorial(a - 1)let re

浏览 0提问于2013-03-15得票数 3

回答已采纳

1回答

C++14中递归调用泛型lambda表达式的类型

c++、recursion、lambda、c++14

(1)中lambda表达式的类型是什么？ 5 << std::endl;我认为无限递归是由此代码中lambda表达式(1)的类型推断引起的。我认为auto& f被替换为一个类型名称，比如std::function<int(std::functio

浏览 1提问于2015-02-08得票数 1

回答已采纳

1回答

多蒂如何决定如何推断/何时扩大联合类型？

scala、type-inference、union-types、dotty、scala-3

已经讨论过扩展联合类型，但我似乎找不到以下情况的答案val x = List(1, 2, "a")然而，以下内容被推断为List[scala.collection.immutable.AbstractSeq[Int| String]] 这是相当令人困惑的行为。为

浏览 5提问于2020-09-16得票数 7

回答已采纳

1回答

如何推断递归函数的类型？

haskell、recursion、type-inference、hindley-milner

我试图用基于辛德雷-米尔纳算法的类型推理语言来实现语言。但我不知道如何推断递归函数的类型：g = ff = h 0h _ = 0 在f中，我有h :: Int -> Int，在

浏览 7提问于2021-04-25得票数 3

回答已采纳

2回答

Haskell或OCaml中的非局部类型推断真的有用吗？

haskell、ocaml、type-inference

首先，让我们假设本地类型推断是在Scala和C#中发现的类型推断。Scala本地类型推断在这里解释： fact 0 = 1可以算作局部类型推断--也就是说，这里的类型推断是局部的函数事实Scala不允许这样的<e

浏览 1提问于2011-12-30得票数 2

回答已采纳

6回答

编译时位掩码的递归模板

c++、metaprogramming、bitmask

我试图使用元编程技术创建编译时位掩码，我的想法是创建如下内容：unsigned int Mask3 = Mask<7>(); // value = 0x7F = b00000000000000000000000001111111 我正在尝试的代码是return 1

浏览 3提问于2012-08-02得票数 1

回答已采纳

点击加载更多

如何对没有显式返回类型的递归函数进行类型检查？