简单的递归函数- OCAML
简单的递归函数是一种在编程中常用的技术，它通过在函数内部调用自身来解决问题。递归函数通常包含两个部分：基本情况和递归情况。
基本情况是指函数可以直接返回结果而不需要再次调用自身的情况。递归情况是指函数需要调用自身来解决更小规模的子问题。
OCAML是一种函数式编程语言，它支持递归函数的定义和使用。以下是一个使用OCAML编写的简单递归函数的示例：
let rec factorial n =
if n = 0 then
1
else
n * factorial (n - 1)这个函数计算一个数的阶乘。当n等于0时，函数返回1作为基本情况。否则，函数将n与n-1的阶乘相乘，并通过递归调用自身来解决更小规模的子问题。
递归函数在解决具有递归结构的问题时非常有用，例如树的遍历、图的搜索等。它们可以简化代码实现，并提高代码的可读性和可维护性。
在腾讯云的云计算平台中，可以使用云函数（SCF）来实现递归函数。云函数是一种无服务器计算服务，可以在云端运行代码，无需关心服务器的管理和维护。您可以使用腾讯云函数（SCF）来编写和部署递归函数，实现各种复杂的计算任务。
腾讯云函数（SCF）是腾讯云提供的一种无服务器计算服务，它支持多种编程语言，包括OCAML。您可以使用腾讯云函数（SCF）来编写和部署递归函数，实现各种复杂的计算任务。腾讯云函数（SCF）提供了高可用性、弹性扩展和灵活的计费方式，适用于各种规模的应用场景。
更多关于腾讯云函数（SCF）的信息和产品介绍，请访问腾讯云函数（SCF）官方网站：腾讯云函数（SCF）
相关·内容
3回答
如果没有@运算符，我如何才能硬地实现这个函数？
let rec append l i =
(* For example, if l is a list [1;2] and i is an integer 3
append [1;2] 3 = [1;2;3]*)
;;
浏览 0提问于2009-10-12得票数 3
回答已采纳
for(int i<0;i<Array.size;i++)
{
if(Array[i]==0)
count0++;
else if(Array[i]==1)
count1++;
else
System.out.println("not required");
}
这是java中的代码。对于使用模式匹配和递归函数的列表，这将如何用ocaml编写？我是OCaml的新手。
浏览 3提问于2015-02-12得票数 1
1回答
我应该使用循环吗？
、、、、
我一直在学习ML的函数式编程，有一段时间我一直专注于递归和尾递归。几乎(而是每一个)循环我用其他语言编写，我编写尾部递归函数。我是不是应该继续这样做，或者这会不会让我未来的同龄人感到困惑？
浏览 1提问于2014-09-21得票数 0
let rec loop (x:?) : ? =
loop loop
有没有什么类型可以替代?，允许这个函数loop进行类型检查？
浏览 1提问于2015-09-21得票数 1
2回答
OCaml中的FIx数据类型
、、、、
Haskell中的以下数据类型如何用OCaml或SML表示？
newtype Fix f = In (f (Fix f))
浏览 7提问于2012-10-21得票数 3
在OCaml 3.12.1中，List.map的编写方式如下：
let rec map f = function
[] -> []
| a::l -> let r = f a in r :: map f l
我原本希望最后一行写成| a::l -> f a :: map f l，但实际上却有一个看似无用的let绑定。为什么？
浏览 2提问于2013-04-21得票数 5
回答已采纳
我正在尝试使用Ocaml学习函数式编程，我想实现一个函数，它返回列表中元素的和。我想用write循环来完成它，但是我想不出写支票的方法。
我想象过这样的事情
let sum_it (xs: int list) =
let j = ref 1 in
let add x y = x+y in
while xs <> [] do
j := add !j hd ;
xs = tl done ;
!j ;;
但是现在它在j := add !j hd ;上失败了
错误:此表达式的类型为“a list ->”a，但预期表达式为int类型。
浏览 3提问于2022-09-29得票数 0
我试图用以下代码将整数列表写入字节文件：
let out_channel = open_out_bin "G:\\JVM\\OcamlTest2.class";;
let writeBytes out_channel finalBytes =
match finalBytes with
| [] -> close_out out_channel
| hd::tl -> output_byte out_channel hd; writeBytes out_channel tl;;
我得到了以下错误：
错误:未绑定值writeBytes
我怎么才能解决这个问题？
浏览 2提问于2016-05-23得票数 0
回答已采纳
如果我们执行not-tail-recursive函数，ocaml将创建一个堆栈并在其中推送信息。如果我们递归调用太多次，就有可能得到stack overflow错误。
那么门槛是多少？函数堆栈的大小是多少？
浏览 1提问于2014-02-09得票数 2
回答已采纳
let find_free_next heap start =
for i = start to ((Array.length heap)-1) do
match heap.(i) with
Hdr (Free (h), g) ->
i
done
找到匹配项后，如何将循环的索引作为整数返回？
浏览 0提问于2012-02-27得票数 8
回答已采纳
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
回答已采纳
我是绝对的OCaml初学者。我想创建一个重复字符20次的函数。这就是函数，但由于出现错误，它不起作用。
let string20 s =
let n = 20 in
s ^ string20 s (n - 1);;
string20 "u";;
我想像这样跑步
# string20 "u"
- : string = "uuuuuuuuuuuuuuuuuuuu"
浏览 0提问于2017-09-23得票数 1
1回答
Emacs 24和Mac小牛，我的emacs文件如下：
(setq debug-on-error t)
;; -- common-lisp compatibility if not added earlier in your .emacs
(require 'cl)
;; -- Tuareg mode -----------------------------------------
;; Add Tuareg to your search path
(add-to-list
'load-path
;; Change the path below to be wherev
浏览 1提问于2014-02-11得票数 0
2回答
我想知道oCaml是否将这段代码优化为尾递归，如果是的话，F#也是吗？
let rec sum xs =
match xs with
| [] -> 0
| x :: xs' -> x + sum xs'
浏览 4提问于2010-02-27得票数 9
回答已采纳
最近我的OCaml程序中出现了一个OCaml错误。如果我打开回溯，我看到异常是由一个“基本操作”"pervasives.ml“引发的，第270行。我进入了OCaml源代码，并看到第270行定义了函数@ (即列表附录)。我没有从回溯跟踪中获得任何其他信息，即使在我的程序中抛出异常的地方也没有。我转而使用字节码，并尝试了ocamldebug，但它没有帮助(没有生成回溯)。
我觉得这是个非常奇怪的情况。在我的程序中，我使用列表的唯一地方是(a)构建一个包含整数1到1000000的列表，(b)按顺序遍历RBT并将结果放入列表，(c)打印包含表面上1000000个数字的整数列表。我测试了所有的函
浏览 0提问于2018-03-12得票数 0
回答已采纳
1回答
看起来很简单，但我对这门语言非常陌生，并且遇到了一些麻烦。给定两个列表，编写函数以确定哪个列表“更大”的最佳方式是什么？
例如: 1:2:3和1:3:2将返回1:3:2
这些列表不必具有相同的长度: 1:2和1:2:3将返回1:2:3
谢谢。
浏览 1提问于2016-10-19得票数 1
1回答
在我的OCaml程序中，我花了相当多的时间一次又一次地为各种类型编写"to_string“。我需要它们来调试，或者因为我需要一个特定的格式化输出。
到目前为止，它们遵循的模板如下：
let rec to_string = function
| Var x -> x
浏览 0提问于2015-02-15得票数 3
回答已采纳
1回答
出于学习的原因，我想在OCaml中使用For循环，而不是递归。 我做了一点研究，并应用了一个(https://ocaml.org/learn/tutorials/camlp4_3.10/foreach_tutorial.html)的例子： let a_list = ["hello"; "world"] in
for s in a_list do
print_endline s
done 这是有道理的。然而，当我查看它时(例如在Visual Studio上)，它告诉我's‘是一个int变量。因此，我不能做这样的事情(其中'a'，
浏览 12提问于2020-09-23得票数 0
回答已采纳
2回答
关于OCaml中递归函数的执行流程，我有一个问题。这是一种设想：
我有两个递归函数，即Concat函数和反向函数。反向呼叫连接。例如，当我提交列表1；2；3时，有人能解释发生了什么吗？
let rec concat (l1,l2) =
match l1 with
[] -> l2
| (h::t) -> h::(concat (t,l2));;
let rec reverse (l: int list) =
match l with
[] -> []
| (h :: t) -> concat (reverse t, [h]);;
// Call
let list1
浏览 0提问于2019-03-02得票数 1
回答已采纳
2回答
我有一个包含几行文本的input.txt文件。我试图将这些行存储在列表l中。我认为我做的是正确的，但是列表l没有更新。请帮帮忙。
let l = []
let () =
let ic = open_in "input.txt"
in
try
while true do
let line = input_line ic
in
let rec append(a, b) = match a with
|[] -> [b]
|c::cs -> c::append(cs,b)
i
浏览 4提问于2016-04-08得票数 0
回答已采纳
我已经习惯了珍妮斯特尔的Core图书馆。它的List模块有一个整洁的init函数：
List.init;;
- : int -> f:(int -> 'a) -> 'a list = <fun>
它允许您通过使用自定义函数初始化元素来创建列表：
List.init 5 ~f:(Fn.id);;
- : int list = [0; 1; 2; 3; 4]
List.init 5 ~f:(Int.to_string);;
- : string list = ["0"; "1"; "2"; "3
浏览 2提问于2017-02-08得票数 1
回答已采纳
如何计算Ocaml中列表中某个特定元素的出现量？
count 2 [1;2;2;2;2;3;4;5] # should return 4
我很难弄清楚折叠是如何工作的，我将如何在这里应用它。我试着做：
count element list = fold (fun f ele head -> if ele = head then 1 else 0) 0 list
但我的测试一直都是0？
浏览 2提问于2016-09-25得票数 2
回答已采纳
2回答
在OCaml中连接字符串
、、、
我正在编写一个递归OCaml函数，它将字符串列表中的字符串用分隔符连接起来，而不是在最后一项上放置分隔符，但是我遇到了一些问题。我知道有一个string.concat函数，但我不喜欢使用它，以便了解OCaml如何在幕后执行这些操作。这是我到目前为止所知道的：
`
let rec join (separator: string) (l: string list) : string =
begin match l with
| []-> ""
| [hd]-> hd
| hd::tl-> if hd != "" then hd^s
浏览 1提问于2018-09-11得票数 2
2回答
我想要创建一个与两个ints相加的程序。然而，两者都必须是积极的。我想写这样的东西：
let n = read_int ()
while n<=0 do
let n = read_int ()
done
所以它会再读一遍这个数字，直到它检查它是否是正数。
正确的方法是什么？
浏览 1提问于2018-09-28得票数 0
回答已采纳
我在使用OCaml实现Chris的纯功能数据结构中的一些数据结构时，遇到了这种类型的定义：
type tree = Node of int * int * tree list;;
我不认为它需要标记，因为它不是一个联合类型，所以我尝试删除这个标记，但是我得到了以下错误：
# type tree = int * int * tree list;;
Characters 5-33:
type tree = int * int * tree list;;
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The type abbreviation tree is
浏览 2提问于2015-10-03得票数 3
回答已采纳
在如何计算递归函数自身执行次数方面需要一些帮助(如果可能的话)。我不知道如何用OCaml制作某种计数器。谢谢!
浏览 2提问于2022-04-16得票数 1
回答已采纳
这篇在caml.inria.fr网站上的文章说..。
与C++和Java不同，O‘opposed中的递归与迭代一样高效
对于类似于阶乘的东西，似乎带有可变变量的循环比递归调用所涉及的堆栈操作更有效。
OCaml真的有比C++和C++更高效的递归机制吗？
浏览 3提问于2014-03-03得票数 0
回答已采纳
这可能是一个基本的ocaml类型的问题。请解释一下我如何从ocaml toplevel获得以下类型的代码作为('a * 'a) list -> 'a list。
let rec func lst = match lst with
|[] -> []
|h::t -> match h with
|(a,b) -> if (a = b) then a::(func t) else b::(func t);;
浏览 0提问于2017-06-25得票数 1
2回答
最近，我发现了一个关于的演示文稿，在看完它之后，我决定自己实现“蚂蚁难题”的解决方案。
有一只蚂蚁可以在平面网格上行走。蚂蚁可以一次左、右、上、下移动一个空间。也就是说，蚂蚁可以从单元格(x，y)转到单元格(x+1，y)，(x-1，y)，(x，y+1)和(x，y-1)。对于x和y坐标的数字之和大于25的点，蚂蚁是无法访问的。例如，点(59,79)无法访问，因为5+9+7+9= 30，大于25。问题是:如果蚂蚁从(1000,1000)开始，包括(1000,1000)本身，它可以访问多少点？
我在30行中实现了我的解决方案，并试用了它：
$ ocamlopt -unsafe -rectypes -
浏览 0提问于2011-09-24得票数 65
回答已采纳
3回答
在F#中，必须使用rec关键字。在Haskell中，不需要显式地判断给定函数是否是递归函数。
考虑到递归在函数式编程中的作用，在我看来，F#设计似乎相当奇怪。它是一个很好的语言设计决策，还是仅仅因为历史原因或由于实现限制而存在？
浏览 0提问于2012-08-28得票数 34
回答已采纳
我是OCaml的初学者。我想知道如何在单独的文件中定义相互递归的数据类型。
我知道以下程序是合法的。
type t1 = A of int | B of t2
and t2 = C of float | C of t1
现在，我想在其他文件中定义这个t1和t2，以提高可读性(因为很多util函数在视觉上都是必需的)。
我还知道，我可以像上面一样定义t1和t2，方法是创建.mli文件并隐藏实现细节(只需在.mli文件中写入type t1和type t2 )。
但现在我不想把它们藏起来。有人知道怎么做吗？
我希望简单的解决方案(而不是使用复杂的或魔术的.)。
浏览 3提问于2017-02-22得票数 8
回答已采纳
2回答
只使用递归(即在给定一个元素列表的情况下，如何在每次OCaml中使用该元素作为参数调用该列表中的每个元素的函数？折叠和映射不起作用，因为尽管它们对每个元素应用了一个函数，但它返回了我对每个元素调用的任何函数的列表，这不是我想要的。
为了更好地说明我在OCaml中想要做的事情，下面是我在Ruby代码中想要做的事情：
arr.each {|x| some_function x}
但我必须只使用递归，而不使用iter函数。
浏览 8提问于2015-10-24得票数 3
回答已采纳
let log x = print_int x; log ;;
log 111 222;;
我期望log打印111并返回自身，然后在第二个调用中打印222，但是它不能像预期的那样工作，而是得到一个错误消息。为什么？如何使它像预期的那样工作？
我也尝试过rec，但没有结果。
File "./hello.ml", line 3, characters 8-11:
3 | log 111 222;;
^^^
Error: This expression has type int but an expression was expected of type
浏览 2提问于2022-10-18得票数 3
1回答
由于非尾递归导致堆栈溢出问题，所以我使用了连续排序，从而使大列表的排序成为可能。
我以这种方式实现了排序(您可以在这里看到整个代码：)
let merge_sort l =
let rec merge_sort' l cont =
match l with
| [] -> cont []
| [x] -> cont [x]
| _ ->
let (a,b) = split l
in
merge_sort' a
浏览 3提问于2015-11-23得票数 0
回答已采纳
如果我想在Haskell程序上使用Coq编写证明和算法/语义。我如何从Haskell翻译到Coq来做到这一点？
似乎有一些工具可以翻译OCaml程序。但是Haskell呢？
浏览 4提问于2015-07-09得票数 4
回答已采纳
1回答
有些函数在OCaml中很容易实现(例如，从列表中映射)，但是您可以使用OCaml库的映射: List.map
但是，我们可以想知道哪种代码会更高效。调用单独编译单元的模块(库)可能会使某些可能的优化无效。我在新闻组fa.caml中看到，当从库调用函数时，使用闭包。
我在生产中有使用模块和函子进行泛型编程的OCaml代码。由于历史原因，我的代码是单一的:都在一个文件中。现在我有了更多的时间，我愿意将代码分离到这些模块的文件中。然而，我恐怕会失去性能，因为我花了一段时间才把它做好。例如，我有用数字包装复杂对象的模块，所以我执行唯一的表示和快速比较。我使用那些包装的对象与通用地图，集，并在它们之上构
浏览 4提问于2009-11-11得票数 7
1回答
我想在ocaml中为链接列表创建一个递归类型，为此我为列表的元素定义了一个类型。我写了以下代码
type elem=
|Nil
|Elem of {content:int;mutable next:elem};;
但我收到语法错误了。如何纠正错误？
浏览 0提问于2018-04-12得票数 1
回答已采纳
2回答
我(相信)下面的函数定义是尾递归的：
fun is_sorted [] = true
| is_sorted [x] = true
| is_sorted (x::(y::xs)) =
if x > y
then false
else is_sorted (y::xs)
简单地说，它相当于下面的声明
fun is_sorted [] = true
| is_sorted [x] = true
| is_sorted (x::(y::xs)) =
(x <= y) andalso (is_sorted (y::xs))
然
浏览 1提问于2014-07-17得票数 8
回答已采纳
在“计划”中，我可以编写一个函数：
(define (eat-line line)
eat-line)
我可以用在一个循环中，比如：
(define (loop op)
(let ((line (read-line))
(loop (op line))))
在OCaml中，我试图定义一个函数：
let rec eat_line line = eat_line
但我发现了一个错误：
Error: This expression has type 'a -> 'b
but an expression was expected of type 'b
浏览 0提问于2014-12-28得票数 9
回答已采纳
3回答
我有一些类型扩展了一个公共类型，这些是我的模型。
然后，我对CRUD操作的每种模型类型都有DAO类型。
现在我需要一个函数，它允许我找到给定任何模型类型的id，所以我为一些杂项函数创建了一个新类型。
问题是，我不知道如何订购这些类型。目前我有在dao之前的模型，但是我在CityDAO之前需要CityDAO，而在DAOMisc之前需要CityDAO，这是不可能的。
简单的方法是将这个函数放在每个DAO中，只引用它之前的类型，因此，State在City之前出现，因为State与City有外键关系，因此杂项函数非常短。但是，我觉得这是错误的，所以我不知道如何最好地解决这个问题。
以下是我的杂项类型，
浏览 7提问于2010-05-18得票数 13
回答已采纳
许多语言允许显式地给出泛型函数的类型参数。
例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：
void f<T>();
…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyType。
OCaml有这个特性吗？
如果答案是否定的--这是因为OCaml的类型推断太强了，以至于永远不会出现类型应用程序有用的情况吗？
浏览 31提问于2022-04-11得票数 0
回答已采纳
我试图编写一个简单的Ocaml函数，但是我得到了这个错误：
错误:此表达式具有类型单位，但预期表达式为int类型。
let rec euclid a b =
if a = b then a
else if a < b then 1
else if a > b then 2
浏览 3提问于2014-09-15得票数 0
回答已采纳
1回答
我正在考虑在未来的技术采访中使用Ocaml。但是，我不知道如何计算函数语言的时间和空间复杂度。基本高级函数的基本运行时是什么，如map、reduce和filter，一般如何计算运行时和空间复杂度？
浏览 2提问于2017-05-08得票数 2
回答已采纳
一位朋友在他的代码库中偶然发现了一个二次Bézier曲线函数，它用一个开关表上的一个巨大老鼠巢来执行计算。他要求我找到一个简短的表达式，这样他就可以代替巨大的代码块了。
为了满足两种不同的好奇心，我想我应该尝试在OCaml中实现这个函数。我是一个非常新手的OCaml程序员，我也不熟悉这个函数，这个具体的实现是很难通过谷歌获得的。
我们非常赞赏对该函数的性能/正确性及其实现的批评。
的实现
let rec b2 n =
let p1 = -10. in
let p2 = 10. in
let q = n*.n in
let rec b2i n i hd =
if i &g
浏览 3提问于2008-09-28得票数 0
回答已采纳
3回答
我有一个程序，它循环遍历一个字符串并打印出每个字符的dir。
我想把这些dir值加到一个单独的离散值中，我可以打印出来。
以下是我的当前代码：
let word = "(())";;
let dir = function
| '(' -> 1
| ')' -> -1
| _ -> 0;;
let z =
(String.iter (fun (c: char) ->
let d = dir c in
Printf.printf "%d is the direction of %
浏览 2提问于2015-12-08得票数 1
回答已采纳
1回答
我已经编写了以下函数来查找给定列表"lst“中的给定项目"x”，如果找到，则返回其索引，否则将返回错误：
exception Failure of string
let rec func x lst c = match lst with
| [] -> raise(Failure "Not Found")
| hd::tl -> if (hd=x) then c else func x tl (c+1)
let find x lst = func x lst 0
这个函数是完全工作的，我想知道它的内存消耗是多少？这意味着内存消耗
浏览 4提问于2015-07-08得票数 6
回答已采纳
1回答
在阅读时，我在Haskell中编写了这个几乎是尾部递归的示例：
triangle :: Int -> Int
triangle 0 = 0
triangle x = x + triangle (x - 1)
这当然不是一个尾调用，因为尽管递归调用在“返回”本身中，但是x +防止当前堆栈被重用到递归调用中。
但是，可以将其转换为尾递归代码(尽管非常丑陋和冗长)：
triangle' :: Int -> Int
triangle' = innerTriangle 0
where innerTriangle acc 0 = acc
innerT
浏览 4提问于2016-03-09得票数 3
回答已采纳
在其他语言中，我更喜欢排列源文件，以便在实现细节之前引入更简单和更广泛有用的概念，并在可能的情况下尝试将复杂的实现细节设置为顶层函数，以便将它们分离出来，并让主函数像高级算法描述一样读取。
OCaml显然有接口/源的区别，但是即使有稀疏的文档化的接口，如
type t
(** Blah blah blah *)
val important_operator : t -> t -> t
(** Blah blah blah *)
我很想做这样的事
let rec important_operator a b =
let a', b' = foo a b in
浏览 0提问于2012-09-12得票数 3
回答已采纳
为什么F#和OCaml (可能还有其他语言)中的函数在默认情况下不是递归的？
换句话说，为什么语言设计者认为显式地让您在声明中键入rec是个好主意：
let rec foo ... = ...
并且默认情况下不给函数提供递归功能？为什么需要显式的rec构造？
浏览 0提问于2009-05-23得票数 110
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
