拉链在Scala中重复列表

这是我头顶的一个快速例子.假设我们有一个数字序列,我们想用一个指数移动平均线做一个简单的平滑形式,其中列表中每个位置的新值是当前值和所有其他值的平均值,但是更远的邻居贡献较少.

这不是一件非常艰巨的事情来计算,但如果我们使用拉链和一个科学的cobind,它不是一个单行的太远：

import scalaz._,Scalaz._

val weights = Stream.from(1).map(1.0 / math.pow(2,_))

def sumNeighborWeights(neighbors: Stream[Double]) =
  neighbors.fzipWith(weights)(_ * _).sum

def smooth(data: NonEmptyList[Double]) = data.toZipper.cobind { z =>
  (z.focus + sumNeighborWeights(z.lefts) + sumNeighborWeights(z.rights)) / 3
}

现在如果我们写：

val result = smooth(NonEmptyList[Double](0,1,0)).toList

我们会得到道德上的等同于：

List(1 / 24,1 / 12,1 / 6,1 / 3,1 / 24)

考虑到我们如何定义问题,我们想要什么.