这个ocaml递归函数是如何工作的？
ocaml是一种函数式编程语言，它支持递归函数。递归函数是指在函数体内调用自身的函数。当调用递归函数时，程序会进入一个递归的执行过程，直到满足某个终止条件才会停止递归。
ocaml的递归函数工作原理如下：
- 定义函数：首先，需要定义一个递归函数，包括函数名、参数和函数体。
- 终止条件：在函数体内部，需要定义一个终止条件，当满足该条件时，递归停止，函数返回结果。
- 递归调用：在函数体内部，通过调用自身来实现递归。递归调用时，通常会传入不同的参数，以便在每次递归中处理不同的数据。
- 递归过程：每次递归调用时，程序会进入一个新的函数执行上下文，执行相同的函数体，但是使用不同的参数。这样，递归会一直进行下去，直到满足终止条件。
递归函数在解决一些问题时非常有用，特别是涉及到树、图等数据结构的遍历和搜索问题。它可以简化代码实现，并提高代码的可读性和可维护性。
以下是一个示例的ocaml递归函数，用于计算给定数字的阶乘：
let rec factorial n =
if n = 0 then
1
else
n * factorial (n - 1)在这个例子中，递归函数factorial计算一个数字的阶乘。当n等于0时，满足终止条件，函数返回1。否则，函数会调用自身，并将n减1作为参数传入递归调用中。递归调用会一直进行下去，直到n等于0，然后逐层返回结果，最终得到阶乘的结果。
腾讯云相关产品和产品介绍链接地址：
- 云服务器（CVM）：提供可扩展的计算容量，用于部署和运行应用程序。
- 云数据库 MySQL 版：提供高性能、可扩展的关系型数据库服务。
- 云原生容器服务（TKE）：用于快速构建、部署和管理容器化应用程序的托管式容器服务。
- 人工智能平台（AI Lab）：提供丰富的人工智能开发工具和服务，帮助开发者构建智能应用。
- 物联网开发平台（IoT Explorer）：用于连接和管理物联网设备的全托管服务。
- 云存储（COS）：提供安全、可靠、低成本的对象存储服务，用于存储和处理大规模的非结构化数据。
- 区块链服务（BCS）：提供快速部署和管理区块链网络的托管式服务。
- 腾讯云游戏引擎（GSE）：用于构建和运行游戏的托管式游戏服务。
请注意，以上仅为腾讯云的一些相关产品示例，其他云计算品牌商也提供类似的产品和服务。
相关·内容
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
回答已采纳
如何计算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
回答已采纳
我制作这个例子是为了更好地理解在OCaml中惰性评估是如何工作的--使用thonks。
let rec imp n = fun () -> imp(n*n);;
我对惰性评估/程序的理解是，impl会像我调用imp ()那样经常对初始数进行平方。
但是，此函数imp会引发以下错误：
---
let rec imp n acc = fun()->(***imp (n\*acc)***);;
This expression has type int -> unit -> 'a
but an expression was expected of type '
浏览 4提问于2022-03-17得票数 1
回答已采纳
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回答
确定递归模块的类型
、、、、
在关于如何在OCaml中类型化递归模块的中，写道模块是在由模块类型近似组成的环境中检查的：
module rec A = ... and B = ... and C = ...
首先建立一个环境{A -> approx(A)；B -> approx(B)；C -> approx(C) }，然后用来计算A，B和C的类型。
我注意到，在某些情况下，近似不够好，类型检查失败。特别是，当将编译单元源代码放在递归模块定义中时，类型检查可能会失败，而编译器可以单独编译编译单元。
回到我的第一个示例，我发现一个解决方案是在初始近似环境中使用类型A，然后在使用新的计算类型A扩展的初始环境中使
浏览 0提问于2012-02-21得票数 15
1回答
在我的OCaml程序中，我花了相当多的时间一次又一次地为各种类型编写"to_string“。我需要它们来调试，或者因为我需要一个特定的格式化输出。
到目前为止，它们遵循的模板如下：
let rec to_string = function
| Var x -> x
浏览 0提问于2015-02-15得票数 3
回答已采纳
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
回答已采纳
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
回答已采纳
let rec loop (x:?) : ? =
loop loop
有没有什么类型可以替代?，允许这个函数loop进行类型检查？
浏览 1提问于2015-09-21得票数 1
1回答
我迷失了方向，只是我似乎无法理解回溯/递归方法。我理解像阶乘这样的简单递归问题是如何工作的，我甚至可以手工跟踪这些问题。但是当谈到回溯问题时，我太迷茫了。我一直在努力。已经5个小时了，我已经在论坛和堆栈交换上读到了各种方法，但是没有任何东西被点击。
例如，假设我有一个带有[1,2,3,4]的数组，我的目标值是5。我正在试图找到所有可能的组合，这些组合等于我的目标值。
我把这个问题进一步分解，使我自己更容易理解。首先，我可以找到数组的所有可能组合，然后将它们传递给另一个函数，该函数检查该数组的和是否等于目标值，然后只打印它。
有人能建议如何处理这个问题吗？我并不是在寻找代码/答案，我希望能够在我
浏览 0提问于2014-09-12得票数 5
回答已采纳
2回答
对于O‘’Caml来说，我只是在玩列表，我的目标是添加元素，并使现有的list元素指向它的新值，也就是说，如果我有4;6;7，那么相同的列表应该变成4;10;17。
以下是我到目前为止所拥有的：
let rec summation l curr =
match l with [] -> l
| (x::xs) -> curr = x + curr
x = curr;(*make the element in the list point to curr*)
summation xs curr ;;
我希望调用这个函数，比如求和5；4；2.0，我觉得它应该能
浏览 4提问于2014-02-05得票数 1
回答已采纳
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
我试图用以下代码将整数列表写入字节文件：
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
回答已采纳
2回答
我想要创建一个与两个ints相加的程序。然而，两者都必须是积极的。我想写这样的东西：
let n = read_int ()
while n<=0 do
let n = read_int ()
done
所以它会再读一遍这个数字，直到它检查它是否是正数。
正确的方法是什么？
浏览 1提问于2018-09-28得票数 0
回答已采纳
我正在努力学习OCaml，我还在努力学习fold函数。我做了一些研究，发现以下代码片段(用Scala编写)使用foldleft实现插入排序。我想我明白了，但是我对Scala一无所知，所以我仍然需要澄清一下。所以，我想我的问题是2重(哈，明白了吗？)，这个函数是如何用Ocaml编写的，它实际上是如何工作的？
def insertionSort[A <% Ordered[A]](list: List[A]): List[A] =
list.foldLeft(List[A]()) { (r,c) =>
val (front, back) = r.span(_ < c)
浏览 0提问于2012-09-09得票数 2
回答已采纳
我在OCaml中有一个列表，返回[[7; 5]; [7; 3; 2]]。我知道在List中有很多OCaml函数。我想打印出每个值，在它们之间加上一个加号，就像Python或Ruby中的那样。在Python中，我使用print('+'.join(map(str,lst)))来完成这个操作，其中lst是列表，str是转换成字符串。我如何在OCaml中做到这一点？
控制台输入
int list list = [[7; 5]; [7; 3; 2]]
控制台输出
7 + 5
7 + 3 + 2
更新
let main num =
print_string "Prime
浏览 2提问于2017-02-09得票数 1
回答已采纳
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类型的问题。请解释一下我如何从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
众所周知，OCaml拒绝定义像type t = t -> int这样的纯递归类型，Rosetta Code中的Y组合子示例也不起作用。 然而，最近我发现像type t = A of (t -> int)这样的递归类型定义的小调整工作得很好。下面的代码是一些概念验证工作，用来检查哪个工作得好。 (* OCaml version 4.08.0 *)
(* Precisely, ocaml-base-compiler.4.08.0 *)
# type t = t -> int;;
Error: The type abbreviation t is cyclic
# type
浏览 12提问于2020-05-03得票数 1
回答已采纳
我目前正在尝试使用单个列表在OCaml中创建一个列表列表，其中每个新列表包含每个列表元素乘以第一个、第二个、第三个列表元素等得到的乘积集合。我还应该说，现在我只被允许使用´List.hd´、´List.tl´和´List.nth´。
下面是一个例子：
[-1, 1, -1, 1] -> [1, -1, 1, -1]
[-1, 1, -1, 1]
[1, -1, 1, -1]
[-1, 1, -1, 1]
我已经创建了一个函数，它可以很好地完成这个任务，但我的问题是，它只在第一
浏览 10提问于2019-10-29得票数 0
回答已采纳
2回答
只使用递归(即在给定一个元素列表的情况下，如何在每次OCaml中使用该元素作为参数调用该列表中的每个元素的函数？折叠和映射不起作用，因为尽管它们对每个元素应用了一个函数，但它返回了我对每个元素调用的任何函数的列表，这不是我想要的。
为了更好地说明我在OCaml中想要做的事情，下面是我在Ruby代码中想要做的事情：
arr.each {|x| some_function x}
但我必须只使用递归，而不使用iter函数。
浏览 8提问于2015-10-24得票数 3
回答已采纳
1回答
我应该使用循环吗？
、、、、
我一直在学习ML的函数式编程，有一段时间我一直专注于递归和尾递归。几乎(而是每一个)循环我用其他语言编写，我编写尾部递归函数。我是不是应该继续这样做，或者这会不会让我未来的同龄人感到困惑？
浏览 1提问于2014-09-21得票数 0
我是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
回答已采纳
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
最近我的OCaml程序中出现了一个OCaml错误。如果我打开回溯，我看到异常是由一个“基本操作”"pervasives.ml“引发的，第270行。我进入了OCaml源代码，并看到第270行定义了函数@ (即列表附录)。我没有从回溯跟踪中获得任何其他信息，即使在我的程序中抛出异常的地方也没有。我转而使用字节码，并尝试了ocamldebug，但它没有帮助(没有生成回溯)。
我觉得这是个非常奇怪的情况。在我的程序中，我使用列表的唯一地方是(a)构建一个包含整数1到1000000的列表，(b)按顺序遍历RBT并将结果放入列表，(c)打印包含表面上1000000个数字的整数列表。我测试了所有的函
浏览 0提问于2018-03-12得票数 0
回答已采纳
2回答
OCaml中的FIx数据类型
、、、、
Haskell中的以下数据类型如何用OCaml或SML表示？
newtype Fix f = In (f (Fix f))
浏览 7提问于2012-10-21得票数 3
一位朋友在他的代码库中偶然发现了一个二次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
回答已采纳
X是一个列表，v是列表中的一个元素。如果需要返回该元素的索引，则v应返回-1。
当元素在列表中时，下面的代码工作得很好，但当没有找到时，它不会返回-1。
错误是else let j = 1+index t v in j，因为它一直在加1，当传递空列表时，它会执行total = total - 1操作，从而返回最后一个元素的索引。
我是一个新的OCaml学习者，不知道如何解决这个问题。
let rec index x v =
match x with
[] -> -1
| h::t ->
if h == v then 0
else le
浏览 2提问于2014-03-14得票数 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
回答已采纳
1回答
我得到了js端的数据，看起来就像这个{ "selectionSet": { "type": 1, "selections": [ { "name": { "kind": "Name", "value": "viewer" }, &#
浏览 0提问于2018-05-17得票数 1
回答已采纳
我在使用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
回答已采纳
我已经习惯了珍妮斯特尔的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
回答已采纳
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
回答已采纳
如果我想在Haskell程序上使用Coq编写证明和算法/语义。我如何从Haskell翻译到Coq来做到这一点？
似乎有一些工具可以翻译OCaml程序。但是Haskell呢？
浏览 4提问于2015-07-09得票数 4
回答已采纳
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回答
最近，我发现了一个关于的演示文稿，在看完它之后，我决定自己实现“蚂蚁难题”的解决方案。
有一只蚂蚁可以在平面网格上行走。蚂蚁可以一次左、右、上、下移动一个空间。也就是说，蚂蚁可以从单元格(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
回答已采纳
1回答
我想在ocaml中为链接列表创建一个递归类型，为此我为列表的元素定义了一个类型。我写了以下代码
type elem=
|Nil
|Elem of {content:int;mutable next:elem};;
但我收到语法错误了。如何纠正错误？
浏览 0提问于2018-04-12得票数 1
回答已采纳
1回答
我正在浏览网站：
根据Ocaml的结构，我有一个问题。更具体地说，我有一些问题是根据守则提出的：
let rec reduce (f:'a -> 'b -> 'b) (u:'b) (xs:'a list) : 'b =
match xs with
| [] -> u
| hd::tl -> f hd (reduce f u tl);;
f hd在最后一行做什么？(我知道reduce f u tl再次调用了函数本身。)
我的第二个问题是如何使用函数在Ocaml中实现另一个函数。关于守则：
let ti
浏览 1提问于2019-03-17得票数 0
回答已采纳
许多语言允许显式地给出泛型函数的类型参数。
例如，如果我们在Java或TypeScript中有一个具有以下签名的函数：
void f<T>();
…而一个类型的MyType，我们可以编写f<MyType>()来调用f，并将类型参数T显式地给出为MyType。
OCaml有这个特性吗？
如果答案是否定的--这是因为OCaml的类型推断太强了，以至于永远不会出现类型应用程序有用的情况吗？
浏览 31提问于2022-04-11得票数 0
回答已采纳
1回答
我有一个简单的问题！
如何在循环中将值追加到列表中？
下面是我当前的代码
open Scanf
open Printf
let id x = x
let const x = fun _ -> x
let read_line file = fscanf file "%s@\n" id
let is_eof file = try fscanf file "%0c" (const false) with End_of_file -> true
let _ =
let file = open_in "text.txt" in
浏览 0提问于2019-11-14得票数 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
回答已采纳
2回答
变量、递归函数和类型推断
、、、
我是OCaml的新手，但为了更好地理解如何使用它，我花了整整两天的时间工作。我最近做了很多事情，但有些事情阻止了我前进。
我正在尝试在OCaml中实现一个evalexpr。使用这种语言很容易，你会说:所以我想，我做的第一件事，就是使用常规的int，工作得很好。但现在我正尝试使用我自己的类型和函数来解决操作:当然，这并不像我预期的那么简单。
type expr =
| Number of MyInt.myint
| Sum of (expr * expr)
| Sub of (expr * expr)
| Product of (expr * expr)
| Divide o
浏览 2提问于2011-03-22得票数 2
回答已采纳
2回答
OCaml中的记忆？
、、、、
改进“原始”Fibonacci递归过程是可能的
Fib[n_] := If[n < 2, n, Fib[n - 1] + Fib[n - 2]]
使用
Fib[n_] := Fib[n] = If[n < 2, n, Fib[n - 1] + Fib[n - 2]]
在Wolfram Mathematica中。
第一个版本将遭受指数爆炸，而第二个版本则不会，因为Mathematica将在表达式中看到重复的函数调用，并对它们进行记忆(重用)。
有没有可能在OCaml中做同样的事情？
如何改进
let rec fib n = if n<2 then n else fib (n-1
浏览 0提问于2013-01-22得票数 7
回答已采纳
在Haskell上下文中解释Y组合器时，通常会注意到，直进实现不会在Haskell中进行类型检查，因为它是递归类型的。
例如，来自罗塞塔科德：
使用Haskell中Y组合器的明显定义是因为它包含无限递归类型(a =a -> b)。定义数据类型(Mu)允许中断这种递归。
newtype Mu a = Roll { unroll :: Mu a -> a }
fix :: (a -> a) -> a
fix = \f -> (\x -> f (unroll x x)) $ Roll (\x -> f (unroll x x))
事实上，“显而易见”的定义
浏览 0提问于2013-10-27得票数 22
回答已采纳
3回答
如何创建匿名递归函数(简单的函数，例如阶乘n?)我听说这是可能的，但不知道如何让它在OCaml中工作。
let a =
fun x -> ....
我只是不知道如何让它继续下去。
浏览 0提问于2017-10-14得票数 3
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
3回答
我有一些类型扩展了一个公共类型，这些是我的模型。
然后，我对CRUD操作的每种模型类型都有DAO类型。
现在我需要一个函数，它允许我找到给定任何模型类型的id，所以我为一些杂项函数创建了一个新类型。
问题是，我不知道如何订购这些类型。目前我有在dao之前的模型，但是我在CityDAO之前需要CityDAO，而在DAOMisc之前需要CityDAO，这是不可能的。
简单的方法是将这个函数放在每个DAO中，只引用它之前的类型，因此，State在City之前出现，因为State与City有外键关系，因此杂项函数非常短。但是，我觉得这是错误的，所以我不知道如何最好地解决这个问题。
以下是我的杂项类型，
浏览 7提问于2010-05-18得票数 13
回答已采纳
3回答
今天，我们学习了SML中的“喜结连理”。
val tempFunc = ref (fn k:int => true);
fun even x = if x = 0 then true else !tempFunc(x-1);
fun odd x = if x = 0 then false else even(x-1);
tempFunc := odd;
我正在使用ocaml，它非常相似，但我只是在做同样的事情时遇到了麻烦。我发现最接近的东西是
let tempFunc {contents =x}=x;;
但我真的不明白这一点，以及我如何将这个tempFunc与另一个函数联系起来。如有任何
浏览 0提问于2012-04-19得票数 4
回答已采纳
1回答
看起来很简单，但我对这门语言非常陌生，并且遇到了一些麻烦。给定两个列表，编写函数以确定哪个列表“更大”的最佳方式是什么？
例如: 1:2:3和1:3:2将返回1:3:2
这些列表不必具有相同的长度: 1:2和1:2:3将返回1:2:3
谢谢。
浏览 1提问于2016-10-19得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
