无限递归函数的推断类型
无限递归函数是指在函数的定义中，函数调用自身，并且没有终止条件，导致函数无限循环调用的情况。推断类型是指根据函数的参数和返回值的类型，推断出函数的类型。
无限递归函数的推断类型是一个无法确定的问题，因为无限递归函数没有终止条件，无法确定函数的返回值类型。在静态类型语言中，编译器会尝试推断函数的类型，但由于无限递归函数无法终止，编译器会报错或陷入无限循环。
在动态类型语言中，函数的类型通常是在运行时确定的，因此无限递归函数的类型也无法确定。在这种情况下，通常会抛出递归深度超过限制的异常。
对于无限递归函数的处理，需要在函数定义中添加终止条件，确保函数能够正常结束。这样才能使函数的类型能够被推断或确定。
腾讯云相关产品和产品介绍链接地址：
- 云函数（Serverless Cloud Function）：https://cloud.tencent.com/product/scf
- 云开发（Tencent Cloud Base）：https://cloud.tencent.com/product/tcb
- 云原生应用引擎（Tencent Cloud Native Application Engine）：https://cloud.tencent.com/product/tcnae
相关·内容
1回答
我正在写一种没有输入函数的语言。这意味着，为了进行类型检查，我需要推断函数调用的返回类型。但是，当某人编写递归函数时，类型检查器进入无限递归，试图推断函数主体内函数调用的类型。类型检查器执行如下操作：
推断函数调用实际参数的</
浏览 0提问于2019-08-08得票数 1
回答已采纳
有没有人能解释为什么这两个代码都能很好地编译：newtype B a = B (A a (B a))但是我不能通过类型同义词创建类似的递归定义的类型有没有办法避免在我想要类型递归的地方处理额外的构造函数X？无论如何，我主要是在传递挑选b的访问器函数，所以我基本上没问题，但是如果有一
浏览 1提问于2012-01-23得票数 21
回答已采纳
3回答
GHC发生检查阻止您构造无限类型。它的目的是防止代码中的常见错误，还是防止类型检查器无限循环，还是两者兼而有之？它识别了什么情况，恶意用户有可能欺骗它(就像在安全的Haskell上下文中一样)进入循环吗？如果类型系统是Turing-complete (是吗？)我不明白GHC怎么能保证计算会停止。
浏览 10提问于2012-09-19得票数 6
回答已采纳
考虑以下示例： 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
回答已采纳
我有一个看起来很简单的结构，在这里我实现了默认的特征： #[derive(Debug, PartialEq)] Trust, ..Default::default() }
} 以及对导致堆栈溢出的默认方法的测试我确定我漏掉了一些明显的东西，但又搞不清楚是什
浏览 31提问于2021-11-16得票数 0
回答已采纳
我正在编辑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
回答已采纳
类型记录似乎能够推断递归函数的类型： * Typescript correctly infers the type is * const referencesSelf: () =>means recursion of the functionconst referencesSelf = () => {};
但是，无法推断具有递归性质的
浏览 4提问于2021-07-18得票数 1
1回答
在Andrew的中，作者使用的实现作为ML的学习练习，并很高兴地发现一个“不正确”的类型推断。令我惊讶的是，编译器报告了一种换句话说，这个排序函数接受任何类型的列表，并返回整数列表。
那是不可能的输出必须是输入的排列；它怎么可能有不同的类型？读者肯定会发现我的第一个冲动是熟悉的
浏览 1提问于2009-12-02得票数 25
回答已采纳
1回答
我正在制作一种强类型的玩具函数式编程语言。它采用辛德雷米尔纳算法作为类型推理算法。let rec g n = if n == 0 then 0 else f (n - 1)
f和g是相互递归的函数现在，当类型
浏览 0提问于2018-03-06得票数 6
回答已采纳
1回答
我一直在阅读各种类型的系统和lambda计算器，我看到lambda立方体中所有类型的lambda计算器都是强规范化的，而不是图灵等价物。这包括System，简单类型的lambda演算加上多态。这就引出了以下问题，我一直找不到任何可理解的答案：
Haskell中的哪些语言特性不属于F系统的形式主义？允许图灵
浏览 5提问于2014-08-12得票数 48
回答已采纳
2回答
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回答
Void的源代码声明： show = absurd
absurd a = spin a spin (Void b) = spin b
Void似乎是一种无限递归类型，而absurd则是一种无穷递归函数。我试着在REPL中运行show ((unsafeCoerce "lol&quo
浏览 0提问于2018-05-14得票数 2
回答已采纳
我在我的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回答
我正在尝试实现一种自定义语言，允许从函数的最后一条语句中推断出函数的返回类型。但是，当找到直接或间接的递归函数调用时，类型推断系统显然会失败。func factorial(a:int) -> 1 a * factorial(a - 1)let re
浏览 0提问于2013-03-15得票数 3
回答已采纳
1回答
(1)中lambda表达式的类型是什么？ 5 << std::endl;我认为无限递归是由此代码中lambda表达式(1)的类型推断引起的。我认为auto& f被替换为一个类型名称，比如std::function<int(std::functio
浏览 1提问于2015-02-08得票数 1
回答已采纳
1回答
已经讨论过扩展联合类型，但我似乎找不到以下情况的答案val x = List(1, 2, "a")然而，以下内容被推断为List[scala.collection.immutable.AbstractSeq[Int| String]]
这是相当令人困惑的行为。为
浏览 5提问于2020-09-16得票数 7
回答已采纳
1回答
如何推断递归函数的类型？
、、、
我试图用基于辛德雷-米尔纳算法的类型推理语言来实现语言。但我不知道如何推断递归函数的类型：g = ff = h 0h _ = 0
在f中，我有h :: Int -> Int，在
浏览 7提问于2021-04-25得票数 3
回答已采纳
首先，让我们假设本地类型推断是在Scala和C#中发现的类型推断。Scala本地类型推断在这里解释： fact 0 = 1可以算作局部类型推断--也就是说，这里的类型推断是局部的函数事实Scala不允许这样的<e
浏览 1提问于2011-12-30得票数 2
回答已采纳
6回答
我试图使用元编程技术创建编译时位掩码，我的想法是创建如下内容：unsigned int Mask3 = Mask<7>(); // value = 0x7F = b00000000000000000000000001111111
我正在尝试的代码是return 1
浏览 3提问于2012-08-02得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
