代码之家 › 专栏 › 技术社区 › Snark

记忆尾调用优化了f[重复]中的递归函数

memoization f#

Snark · 技术社区 · 14 年前

可能重复:
Combine memoization and tail-recursion

下面是我编写的代码,尾调用使用累积变量进行了优化

let rec counter init count = 
    if init = 1 then count + 1 else
    match init with
    | Even value -> (counter (value/2)  (1 + count))
    | Odd value -> (counter ((3 * value) + 1) (count+1))

let SeqBuilder (initval:int) : int =
    counter initval 0

我该怎么回忆?我在尝试记忆时遇到的问题是递归调用必须转到memoize对象,所以您必须有一个…递归对象?

还是简单多了,我只是没有经验?

1 回复 | 直到 12 年前

Tomas Petricek 14 年前

f允许您定义 递归值 (就像你提到的递归对象),所以如果你有 memoize2 函数执行memoization(采用两个参数的函数-使其与 counter ,然后你可以写:

let rec counter = memoize2 (fun init count ->
  if init = 1 then count + 1 else 
  match init with 
  | Even value -> (counter (value/2) (1 + count)) 
  | Odd value -> (counter ((3 * value) + 1) (count+1)) )

像这样的递归引用可能很危险,因此f插入一些运行时检查。它也会给出警告 FS0040 要通知您这一点,但是在这种情况下,递归是正确的(如果在初始化期间访问了递归引用,可能会出现问题-这里我们只在稍后使用它,当函数已经声明时,所以一切都很好)。您可以通过添加 #nowarn "40" .

推荐文章

Thomas · 使类型别名在F中不可互换#

2 年前

sdgfsdh · 我该怎么说。使用异步转换函数进行收集?

6 年前

Soldalma · 我可以实例化包含顶级副作用值的类吗?

6 年前

matekus · F#-包含数字的字符串的自然排序

6 年前

Ayto Maximo · F#CSV-对于每一行,从列数据创建一个数组

6 年前

Chechy Levas · 在F#中使用免费单子是否意味着启动时间更长,指令有限?

6 年前

matekus · F#类型匹配-无法创建映射或匹配记录

6 年前

Rob Lyndon · 未找到F#ProvidedTypes文件

6 年前

red-swan · 如何将intro ML.Net演示翻译为F#?

6 年前

jkone27 · F#-在编译时从字符串生成简单的空类型

6 年前