【问题标题】:How do I write recursive anonymous functions?如何编写递归匿名函数?
【发布时间】:2011-06-25 00:28:17
【问题描述】:

在我继续努力学习 scala 的过程中,我正在阅读 Odersky 的“Scala by example”,在关于第一类函数的章节中,关于匿名函数的部分避免了递归匿名函数的情况。我有一个似乎可行的解决方案。我很好奇是否有更好的答案。

来自pdf: 展示高阶函数的代码

def sum(f: Int => Int, a: Int, b: Int): Int =
  if (a > b) 0 else f(a) + sum(f, a + 1, b)

def id(x: Int): Int = x
def square(x: Int): Int = x * x
def powerOfTwo(x: Int): Int = if (x == 0) 1 else 2 * powerOfTwo(x-1)

def sumInts(a: Int, b: Int): Int = sum(id, a, b)
def sumSquares(a: Int, b: Int): Int = sum(square, a, b)
def sumPowersOfTwo(a: Int, b: Int): Int = sum(powerOfTwo, a, b)

scala> sumPowersOfTwo(2,3)
res0: Int = 12

来自pdf: 展示匿名函数的代码

def sum(f: Int => Int, a: Int, b: Int): Int =
  if (a > b) 0 else f(a) + sum(f, a + 1, b)

def sumInts(a: Int, b: Int): Int = sum((x: Int) => x, a, b)
def sumSquares(a: Int, b: Int): Int = sum((x: Int) => x * x, a, b)
// no sumPowersOfTwo

我的代码:

def sumPowersOfTwo(a: Int, b: Int): Int = sum((x: Int) => {
   def f(y:Int):Int = if (y==0) 1 else 2 * f(y-1); f(x) }, a, b)

scala> sumPowersOfTwo(2,3)
res0: Int = 12

【问题讨论】:

  • 你确定吗? echo "2^2+3^2" | bc -l --> 13.
  • @sarnold 二次幂和 - 即 2^a + 2^a+1 + .... 2^b-1 + 2^b 2^2+2^3 = 4+8 = 12
  • @James,啊。我会羞愧地低下头并发表评论,希望能帮助其他人避免同样的耻辱。
  • 我不明白 anonymous 是什么功能。

标签: scala recursion anonymous-function


【解决方案1】:

为了它的价值......(标题和“真正的问题”不太一致)

可以通过FunctionN的“长手”扩展来创建递归匿名函数对象,然后在apply中使用this(...)

(new Function1[Int,Unit] {
  def apply(x: Int) {
    println("" + x)
    if (x > 1) this(x - 1)
  }
})(10)

但是,这通常会引入大量的 icky-ness,这使得该方法通常不太理想。最好只使用“名称”并使用一些更具描述性的模块化代码——这并不是说以下是一个很好的论据;-)

val printingCounter: (Int) => Unit = (x: Int) => {
    println("" + x)
    if (x > 1) printingCounter(x - 1)
}
printingCounter(10)

编码愉快。

【讨论】:

    【解决方案2】:

    您可以将此间接递归概括为:

    case class Rec[I, O](fn : (I => O, I) => O) extends (I => O) {
      def apply(v : I) = fn(this, v)
    }
    

    现在 sum 可以使用间接递归写成:

    val sum = Rec[Int, Int]((f, v) => if (v == 0) 0 else v + f(v - 1))
    

    例如,可以使用相同的解决方案来实现记忆化。

    【讨论】:

      猜你喜欢
      • 2022-06-20
      • 2015-11-21
      • 2011-01-29
      • 2011-04-22
      • 2020-09-24
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多