具有多个函数的递归F#
递归是一种在编程中经常使用的技术，它允许函数调用自身来解决问题。F#是一种函数式编程语言，它支持递归，并且可以定义具有多个函数的递归。
在F#中，递归函数可以通过使用关键字rec来定义。具有多个函数的递归意味着在递归函数之间存在相互调用的关系。
以下是一个示例，展示了具有多个函数的递归F#代码：
let rec factorial n =
if n <= 1 then
1
else
n * factorial (n - 1)
let rec fibonacci n =
if n <= 1 then
n
else
fibonacci (n - 1) + fibonacci (n - 2)在上面的代码中，factorial函数计算给定数字的阶乘，fibonacci函数计算给定位置的斐波那契数列值。这两个函数都是递归定义的，它们在函数体内部调用自身来解决问题。
递归函数在解决具有递归结构的问题时非常有用，例如树的遍历、图的搜索等。它们可以简化代码实现，并提供一种优雅的方式来处理复杂的问题。
在腾讯云中，没有特定的产品与递归函数直接相关。然而，腾讯云提供了一系列云计算服务，如云函数（Serverless）、云数据库、云存储等，可以与递归函数结合使用来构建更复杂的应用程序。您可以访问腾讯云官方网站（https://cloud.tencent.com/）了解更多关于这些服务的详细信息。
总结：递归是一种在编程中常用的技术，F#是一种支持递归的函数式编程语言。具有多个函数的递归意味着在递归函数之间存在相互调用的关系。腾讯云提供了一系列云计算服务，可以与递归函数结合使用来构建更复杂的应用程序。
相关·内容
4回答
在F#中，什么时候使用？
、、、
好的，只有在F#中，这就是我现在理解它的方式：
有些问题本质上是递归的(构建或读取树结构来命名其中一个问题)，然后使用递归。在这些情况下，最好使用尾递归来中断堆栈。
有些语言是纯函数式的，所以您必须使用递归而不是while-循环，即使问题本质上不是递归的。
因此，我的问题是:既然F#也支持命令式范例，那么您会在F#中使用尾递归来处理不是自然递归的问题吗？特别是我已经阅读了编译器，它重新理解了尾递归，并且只是在while循环中对其进行了转换。
如果是的话:为什么？
浏览 5提问于2009-11-25得票数 18
回答已采纳
3回答
一个简单的附加函数，如下所示(在F#中)：
let rec app s t =
match s with
| [] -> t
| (x::ss) -> x :: (app ss t)
当s变大时会崩溃，因为函数不是尾递归的。我注意到F#的标准append函数不会在大列表中崩溃，所以它必须以不同的方式实现。所以我想知道: append的尾递归定义是什么样子的?我想出了这样的东西：
let rec comb s t =
match s with
| [] -> t
| (x::ss) -> comb ss (x::
浏览 1提问于2010-05-20得票数 9
回答已采纳
1回答
我正尝试从f#调用此函数
函数签名为：
CloudStorageAccount.SetConfigurationSettingPublisher
(Action<string, Func<string, bool>>) : unit
C#调用如下所示：
CloudStorageAccount.SetConfigurationSettingPublisher((configName,
configSettingPublisher) =>
{
st
浏览 4提问于2011-06-30得票数 4
回答已采纳
2回答
我正在尝试在F#中反转一个整数。我有以下方法： //let the number be n
rev = 0
while(n != 0){
rev = rev * 10 + n % 10;
n /= 10;
}
// rev now contains the reverse integer of n 我是F#的新手，我不知道如何使用惯用的语法来实现这个实现。我不想通过先将数字转换为字符串来反转数字。如何在F#中以惯用的方式实现此功能？
浏览 36提问于2020-11-25得票数 3
回答已采纳
我正在尝试通过移植一些Haskell代码来教授我自己的F#。
具体来说，我正在尝试移植显示为的倒计时问题
中列出了Haskell代码
我正在尝试在F#中创建以下Haskell类型：
data Op = Add | Sub | Mul | Div
data Expr = Val Int | App Op Expr Expr
在F#中，我认为Op类型的定义如下：
type Op = | Add | Sub | Mul | Div
我遇到了Expr类型的问题。
如何创建一个递归类型？从上看，似乎不能在F#中创建Expr类型。
还有什么是'App‘类型的F#等价物，它将Op类
浏览 0提问于2009-12-17得票数 5
回答已采纳
2回答
我正在尝试编写一个找到最大值的F#函数。我对F#很陌生，对于如何用正确的类型和递归来实现它感到困惑。
任何帮助都将是非常感激的，并解释它是如何工作的，我真的需要了解它是如何工作的，这样我就可以尝试创建其他F#函数。谢谢!
浏览 3提问于2017-01-31得票数 3
回答已采纳
我试图在F#中将以下普通递归代码转换为尾递归代码，但我失败得很痛苦。
let rec insert elem lst =
match lst with
| [] -> [elem]
| hd::tl -> if hd > elem then
elem::lst
else
hd::(insert elem tl)
let lst1 = []
let lst2 = [1;2;3;5]
printfn "\nInserting
浏览 10提问于2020-11-07得票数 1
我正在编写一个F#函数，如下所示，用累加器"r“计算一列数字的乘积。
> let rec proda xs r =
- match xs with
- | [] -> r
- | x::xr -> proda xr (x*r)
- ;;
令我惊讶的是，根据F#控制台，它的proda类型是：
val proda : xs:int list -> r:int -> int
为什么proda的类型不是
val proda : xs:a' list -> r:a' -> a'
浏览 0提问于2020-11-10得票数 1
2回答
我对F# (今天开始使用它)完全陌生，对函数式编程相对较新(我对Lisp的经验不多)。我希望在满足某个条件时返回一个值，从而退出一个函数，这样循环的其余部分就不会被执行。下面是我想要做的事情的C#示例：
bool CheckRow (int n, int i)
{
for(int j = 0; j < 9; j++)
if (n == sudoku[i][j])
return false;
return true;
}
我尝试在F#中实现类似的函数(sudoku是一个array2D)：
let CheckRow (n : int)
浏览 5提问于2016-11-22得票数 5
回答已采纳
列举了F#性能有时优于C#的一些原因，在它的“第一”部分中说，只有F#才能生成尾调用。
那到底是什么意思？为什么这是一种性能提升？对于我使用大量递归的象棋应用程序来说，这一件事实际上可能会在F#和C#之间产生或破坏。
浏览 1提问于2015-08-27得票数 3
回答已采纳
既然.net有操作码，这能用来判断一个F#函数是否真的是尾递归的吗？
如果这是真的，有没有人做了一个识别尾部和非尾部函数的VS插件？
浏览 0提问于2012-03-14得票数 4
回答已采纳
2回答
我想知道oCaml是否将这段代码优化为尾递归，如果是的话，F#也是吗？
let rec sum xs =
match xs with
| [] -> 0
| x :: xs' -> x + sum xs'
浏览 4提问于2010-02-27得票数 9
回答已采纳
1回答
C#:
在C#中，我有这样的东西：
IImmutableDictionary<string, string> map = new Dictionary<string, string>
{
{"K1", "V1"},
{"K2", "V2"},
{"K3", "V3"},
}.ToImmutableDictionary();
IEnumerable<string> keys = new[] {"K1,K3"};
map =
浏览 0提问于2018-01-26得票数 6
回答已采纳
为什么F#和OCaml (可能还有其他语言)中的函数在默认情况下不是递归的？
换句话说，为什么语言设计者认为显式地让您在声明中键入rec是个好主意：
let rec foo ... = ...
并且默认情况下不给函数提供递归功能？为什么需要显式的rec构造？
浏览 0提问于2009-05-23得票数 110
回答已采纳
3回答
这是来自生成排列的函数程序的算法B (Topor，1982年)。
📷
我们在F#递归模块中实现了算法B，如下所示。
module rec Permutations.Permute2
let removeFirst (list: List<'t>) (item: 't): List<'t> =
match list with
| [] -> []
| head::tail when head = item -> tail
| head::tail -> head :: (removeFirst t
浏览 0提问于2018-03-13得票数 2
回答已采纳
1回答
我正在尝试弄清楚如何使用不可变对象在F#中创建一个待办事项列表。待办事项列表(不一定是F#列表)可能是从数据库中拉出的，也可能是从用户输入中收集的，或者是从XML或JSON中读取的，等等。
伪代码：
do for some length of time:
for each item in the to do list:
if item is ready to do:
do item
if it worked:
remove from the todo list
wait a bit before trying
浏览 1提问于2017-04-20得票数 1
2回答
在Haskell中，可以使用unsafeCoerce覆盖类型系统。如何在F#中做同样的事情？
例如，实现Y-组合器.
浏览 3提问于2013-12-29得票数 3
回答已采纳
4回答
我为c++中的一个问题编写了以下代码：
int sum = 0;
for(int i =0; i < 1000; i++)
{
//Check if multiple of 3 but not multiple of 5 to prevent duplicate
sum += i % 3 == 0 && i % 5 != 0 ? i: 0;
//check for all multiple of 5, including those of 3
sum += i % 5 == 0 ? i: 0;
}
cout << su
浏览 3提问于2011-09-12得票数 1
回答已采纳
2回答
我在一本算法书中读到，Ackermann函数不能成为尾递归(他们说的是“它不能转换为迭代”)。我对此非常困惑，所以我试着想出了这个：
let Ackb m n =
let rec rAck cont m n =
match (m, n) with
| 0, n -> cont (n+1)
| m, 0 -> rAck cont (m-1) 1
| m, n -> rAck (fun x -> rAck cont (m-1) x) m (n-1)
in rAck (fun x -> x) m n
;;
(这是OC
浏览 1提问于2010-12-13得票数 8
回答已采纳
3回答
F#内存管理
、、、
在F#中，当您在循环中传递一个数组(递归函数调用自身)时，数组是否放在堆栈上(添加内存消耗)？在循环列表或引用对象时，它是如何工作的？您能以某种方式将内存消耗降到最低吗?也许可以使用ref (引用)？
浏览 2提问于2015-05-28得票数 2
回答已采纳
2回答
考虑下面的OCaml代码：
let coupe_inter i j cases =
let lcases = Array.length cases in
let low,_,_ = cases.(i)
and _,high,_ = cases.(j) in
low,high,
Array.sub cases i (j-i+1),
case_append (Array.sub cases 0 i) (Array.sub cases (j+1) (lcases-(j+1)))
为什么表达式let ... and ... in用来代替let ... in let ... in
浏览 0提问于2012-09-08得票数 3
回答已采纳
根据F#的list
F#中的列表是同一类型的有序的、不变的系列元素
“F#中的列表被实现为单链接列表”
为什么不在内存中连续地实现它，因为它是不可变的，因此具有固定的大小？为什么要使用F# list而不是F# array？
浏览 0提问于2015-02-15得票数 5
回答已采纳
2回答
我一直认为，在F#中，每个递归函数都需要使用rec关键字，例如：
let rec factorial = function
| 0 -> 1
| k when k > 0 -> k * (factorial (k - 1))
| failwith "oops!"
今天我正在玩F#，我想出了一个类似于以下代码的代码：
let MyRecordType =
{ Something : float;
SomethingElse : int }
with
static member factorial = func
浏览 1提问于2010-01-03得票数 26
回答已采纳
3回答
在F#中，必须使用rec关键字。在Haskell中，不需要显式地判断给定函数是否是递归函数。
考虑到递归在函数式编程中的作用，在我看来，F#设计似乎相当奇怪。它是一个很好的语言设计决策，还是仅仅因为历史原因或由于实现限制而存在？
浏览 0提问于2012-08-28得票数 34
回答已采纳
我是F#的新手。我正在尝试使用命名管道从F#与java通信。下面的代码可以工作，但我不确定是否有更好的方法来做到这一点(我知道无限循环是一个糟糕的想法，但这只是一个概念证明)，如果有人有任何想法来改进这段代码，请发表你的评论。
预先感谢Sudaly
open System.IO
open System.IO.Pipes
exception OuterError of string
let continueLooping = true
while continueLooping do
let pipeServer = new NamedPipeServerStream("te
浏览 0提问于2010-04-24得票数 3
3回答
阅读开头的F# -，我专注于以下段落：
来自OCaml背景的程序员在使用F#中的异常时应该小心。由于CLR的体系结构，抛出异常非常昂贵--比在OCaml中要昂贵得多。如果您抛出大量异常，请仔细分析代码，以确定性能成本是否值得。如果成本太高，请适当修改代码。
为什么，由于CLR，如果F#比在OCaml中抛出异常要花费更多？在这种情况下，正确修改代码的最佳方法是什么？
浏览 7提问于2012-06-09得票数 13
回答已采纳
我正在学习F# (函数式编程的一般新手，尽管多年来一直使用C#的函数式方面，但这是非常不同的)，我读到的一件事是F#编译器识别尾递归并将其编译成while循环(请参阅)。
我不明白的是，为什么你要写一个递归函数，而不是一个while循环，如果它无论如何都会变成这样的话。特别是考虑到你需要做一些额外的工作来使你的函数递归。
我有一种感觉，有人可能会说while循环并不是特别有功能性，你想表现出所有的功能性，所以你使用了递归，但是为什么编译器把它变成while循环就足够了呢？
有人能给我解释一下吗？
浏览 3提问于2011-05-07得票数 11
回答已采纳
是否可以检查函数是否被声明为递归的，即使用let rec？
我有一个回忆录函数，但它不适用于任意递归函数。如果用户用这样的函数调用它，我想给出一个错误。(请告诉我，这是否是处理F#中错误的糟糕方法)
浏览 1提问于2015-08-31得票数 4
回答已采纳
f#初学者尝试在没有反向或内置方法的情况下在f#中检查字符串是否为palidrome。这是我到目前为止想出来的，我觉得我已经快完成了。这当前没有编译。
let ispalidrome (str:string) =
let strlength = str.Length
let result = for i in 0 .. < strlength / 2 do
if str.[0] <> strlength then false
else true
浏览 0提问于2015-02-15得票数 0
4回答
我刚刚开始使用F#，有一个基本的问题。
代码如下：
let rec forLoop body times =
if times <= 0 then
()
else
body()
forLoop body (times - 1)
我不明白，当你定义一个变量的时候，它是一个值并且是不可变的。在这里，为了循环，这个值正在改变。这与C#中的变量有什么不同？
浏览 2提问于2010-04-13得票数 4
回答已采纳
1回答
树中节点的计数
、、、
与f#的战斗-战斗是在树的领域-特别是计算节点的数量。这是真正感兴趣的程序，因为我想最终在F#代码涉及多路树，不幸的是，它已经有了一个有点麻烦的开端-我希望你可以帮助！
99 f#系列中的问题61，要求计算二叉树的叶子。(下面给出的解决方案)计算节点，但我的问题是不理解
双递归是如何向左循环的(有趣的lacc ->循环右.)
cont (branchF x lacc racc)是什么，我的印象是"abc“函数，但这只需要两个参数.
loop t id id的类型是单位-我看不出这是怎么暗示的
基本上不理解这一点，也不理解它在树中的流动顺序(调试和步骤证明没有帮
浏览 3提问于2013-02-26得票数 2
回答已采纳
1回答
我刚接触F#，正在尝试重新创建一些简单的应用程序，这些应用程序是我过去用C#或Powershell构建的。我正在尝试为一个web获取多个属性。在F#中，我可以获取单个属性，但我不确定一次获取多个属性的语法。 举个例子： // F# Example
context.Load(web |> fun w->w.Lists)
context.Load(web |> fun w->w.AssociatedOwnerGroup)
context.ExecuteQuery() 在F#中，有没有一种方法可以把它合并成一行？在C#中，我会这样称呼它： // C# Example
con
浏览 19提问于2021-03-18得票数 0
回答已采纳
在windows 7上使用F# 3.1进行测试
fsi.PrintLength <- 5000；
1.5000；
进程由于StackOverflowException而终止。检测到会话终止。按回车以重新启动。
在Mono (F# 4.0)上，似乎没有这样的限制。
浏览 9提问于2014-12-11得票数 7
回答已采纳
1回答
我是新来F#的。无法处理语法。我需要将递归扩展方法从C #转换到F#。但是不管我做什么，编译器都不喜欢我的代码。
在这里，我的方法：
public static class ViewExtensions
{
public static UIView FindFirstResponder(this UIView view)
{
if (view.IsFirstResponder)
{
return view;
}
foreac
浏览 7提问于2020-07-18得票数 1
回答已采纳
我认为F#足够聪明，可以将方法的参数转换为元组。例如：
let isInt s =
match System.Int32.TryParse(s) with
| (false, _) -> false
| (true, _) -> true
我想要创建一个新的互联网络与独特的系统范围内的名称。有一个具有3个参数的构造函数：
new:
initiallyOwned:bool *
name:string *
createdNew:bool byref -> Mutex
最后一个参数是out参数，F#应该能够将构造函数调用结果转换为元组。然而
浏览 2提问于2011-08-12得票数 2
回答已采纳
5回答
我想开始一些关于简化F#中不同表达式的问题。
任何人都有更好和/或更简单的insertAt实现的想法(参数也可以重新排序)。可以使用列表或序列。
下面是一些start实现：
let insertAt x xs n = Seq.concat [Seq.take n xs; seq [x]; Seq.skip n xs]
浏览 0提问于2009-07-22得票数 0
回答已采纳
4回答
我目前在使用F#进行函数式编程方面做得相当不错。然而，当F#/函数式编程社区中似乎有更好的习惯用法时，我倾向于使用递归进行大量的编程。那么，本着学习的精神，有没有一种更好/更地道的方法来编写下面的函数，而不需要递归呢？
let rec convert line =
if line.[0..1] = " " then
match convert line.[2..] with
| (i, subline) -> (i+1, subline)
else
(0, line)
结果如下：
> convert
浏览 2提问于2012-09-15得票数 2
回答已采纳
4回答
我是F#的新手(今天才开始学习)，我试着递归实现斐波那契数列。我不确定它是语法上的还是逻辑上的错误
let rec fibonacciRecursive (x : int) = seq{
match x with
| 0 -> yield! [0]
| 1 -> yield! [0; 1]
| _ -> yield! fibonacciRecursive
|> Seq.pairwise
|> Seq
浏览 1提问于2018-09-24得票数 1
5回答
因此，我有这4个例子，其中3个是从这个得到的。
我刚上了一门关于函数式编程的课程(在Racket中)，如果我对F#的基本理解是正确的话，我就是这样做的。
let data = [1.;2.;3.;4.]
let sqr x = x * x
// Bad, very bad
let sumOfSquareI nums =
let mutable acc = 0.0
for x in nums do
acc <- acc + sqr x
acc
// Better than above, but may cause stack overfl
浏览 7提问于2016-04-21得票数 3
回答已采纳
3回答
我在下面的F#定义中看到了一个连续传递风格的斐波纳契函数，我一直认为它是尾递归的：
let fib k =
let rec fib' k cont =
match k with
| 0 | 1 -> cont 1
| k -> fib' (k-1) (fun a -> fib' (k-2) (fun b -> cont (a+b)))
fib' k id
在Scala中尝试等效代码时，我使用了现有的@ tail are，当Scala编译器通知我递归调用不处于尾位置时，我感到措手不及：
def fib(k
浏览 5提问于2015-06-23得票数 3
回答已采纳
1回答
在用F# team 测试尾调用时，我发现几乎相同的代码具有相同的结果，但是IL不同，尽管代码中只有括号不同。
下面的代码是由编译器优化的，我在IL的末尾看到了br.s IL_0000，没有调用sumSoFar。
let rec loopAndSum aList sumSoFar =
match aList with
| [] -> sumSoFar
| x :: xs ->
loopAndSum xs (sumSoFar + x)
loopAndSum [ 1..5 ] 0
|> printfn "sum: %i"
浏览 2提问于2015-03-07得票数 0
回答已采纳
1回答
这段F#代码片段
let rec reformat = new EventHandler(fun _ _ ->
b.TextChanged.RemoveHandler reformat
b |> ScrollParser.rewrite_contents_of_rtb
b.TextChanged.AddHandler reformat
)
b.TextChanged.AddHandler reformat
下列警告的结果：
traynote.fs(62,41)：警告FS0040:将通过使用延迟引用在运
浏览 4提问于2011-12-26得票数 8
回答已采纳
2回答
我打算写一个简单的游戏来测试我对函数式编程的理解。主循环的函数式方法是递归，但是随着越来越多的堆栈帧的生成，这不会占用内存吗？
谢谢
来自的示例
// imperative version
pacman = new pacman(0, 0)
while true
if key = UP then pacman.y++
elif key = DOWN then pacman.y--
elif key = LEFT then pacman.x--
elif key = UP then pacman.x++
render(pacman)
// functio
浏览 4提问于2012-08-22得票数 3
回答已采纳
1回答
我用谷歌搜索了很长时间，仍然找不到答案。据我所知，如果调用者已经将调用包装在try/catch和/或try/finally块中，那么在.NET 4.5上运行的F# 3.0将不会对递归方法使用尾递归。如果在堆栈的上几层存在try/catch或try/a，会出现什么情况？
浏览 0提问于2012-11-21得票数 8
回答已采纳
1回答
我在一个文档数据库中有以下JSON数据，我想把它解析成一个F#多向树区分联合。
"commentTree": {
"commentModel": {
"commentId": "",
"userId": "",
"message": ""
},
"forest": []
}
F#多路判别并
type public CommentMultiTreeDatabaseMo
浏览 7提问于2017-01-06得票数 4
回答已采纳
1回答
在学习F#的过程中，我一直在研究一些Euler项目的问题。
这是我对问题3的解决方案：
open System
open System.Collections.Generic
let number = 600851475143L
let limit = Convert.ToInt32(sqrt (float number))
let sieve = Array.create (limit+1) true
sieve.SetValue(false,0)
sieve.SetValue(false,1)
let rec markNotPrime prime multiple =
if
浏览 0提问于2015-12-16得票数 9
回答已采纳
我试图定义一个幂函数来计算x^y。
let rec powFunA (x,y) =
match (x,y) with
| (_,0) -> 1
| (x,y) -> x * powFunA (x,y-1);;
和
let rec powFunB x y =
match y with
| 0 -> 1
| y -> x * powFunB x y-1;;
调用powFunA (2,5)可以工作，正如预期的那样，结果是32。但不知何故，我不明白为什么，第二个调用powFunB 2 5会导致StackOverflowException。
我还发现
浏览 0提问于2018-07-18得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
