美文网首页
严格求值和惰性求值(2)

严格求值和惰性求值(2)

作者: 吐思圈 | 来源:发表于2018-02-28 23:37 被阅读0次

无限流与共递归
因为具有增量性质,我们所写的函数也适用于无限流,这里是一个由1组成的无限流的例子:

val ones: Stream[Int] = Stream.cons(1, ones)

尽管ones是无限的,我们目前为止写的函数只检测了Stream必要的部分,生产需要的输出。
练习 5.8
对ones稍微泛化一下,定义一个constant函数,根据给定值返回一个无限流。

  def constant[A](a: A): Stream[A] = cons(a, constant(a))

练习 5.9
写一个函数生成一个整数的无限流,从n开始,然后n+1、n+2,等等。

def from(n: Int): Stream[Int] = cons(n, from(n + 1))

练习 5.10
写一个fibs斐波那契数列的无限流:0,1,1,2,3,5,8,等等。

  def fibs: Stream[Int] = {
    def loop(prev: => Int, curr: => Int): Stream[Int] =
      cons(prev, loop(curr, prev + curr))
    loop(0, 1)
  }

练习 5.11
写一个更加通用的构造流函数unfold。它接受一个初始状态,以及一个在生成的Stream中用于产生下一状态和下一个值的函数。

  def unfold[A, S](z: S)(f: S => Option[(A, S)]): Stream[A] = f(z) match {
    case None => Empty
    case Some((a, s))  => cons(a, unfold(s)(f)) 
  }

练习 5.12
根据unfold函数来实现fibs、from、constant和ones。

  val ones1: Stream[Int] = unfold(1)(Some(1, _))

  def constant1[A](a: A): Stream[A] = unfold(a)(Some(a, _))

  def from1(n: Int): Stream[Int] =
    unfold(n)(s => Some(s, s + 1))

  def fibs1: Stream[Int] =
    unfold((0, 1)){
      case (prev, curr) => Some((prev, (curr, prev + curr)))
    }

练习 5.13
使用unfold实现map、take、takeWhile、zipWith以及zipAll

  def map1[B](f: A => B): Stream[B] =
    unfold(this){
      case Empty => None
      case Cons(h, t) => Some(f(h()), t())
    }

  def take1(n: Int): Stream[A] =
    unfold((n, this)){
      case (m, _) if m <= 0 => None
      case (_, Empty) => None
      case (a, Cons(h, t)) => Some(h(), (a - 1, t()))
    }

  def unCons[B >: A](s: Stream[B]): Option[(B, Stream[B])] = s match {
    case Empty => None
    case Cons(h, t) => Some(h(), t())
  }

  def takeWhile2(f: A => Boolean): Stream[A] =
    unfold(unCons(this)){
      case Some((h, t)) if f(h) => Some(h, unCons(t))
      case _ => None
    }

相关文章

  • 严格求值和惰性求值(2)

    无限流与共递归因为具有增量性质,我们所写的函数也适用于无限流,这里是一个由1组成的无限流的例子: 尽管ones是无...

  • 严格求值和惰性求值(1)

    非严格求值是函数的一种属性,称一个函数是非严格求值的意思是这个函数可以选择不对它的一个或者多个参数求值;相反,严格...

  • Swift Collection 中的 lazy 作用

    惰性求值 惰性求值常见于函数式编程中,也有人把惰性求值翻译成延迟求值(Lazy Evaluation)。它的目的是...

  • 4.2 Variations on a Scheme: Lazy

    在元循环求值器的基础上,我们能够实现变体形式 惰性求值(lazy evaluation) 器。惰性求值器能够将程式...

  • Swift 之惰性求值

    Swift 之惰性求值 在 Haskell 中的函数有一个特性 从而引出一个概念 惰性求值 下面有段 分析 惰性求...

  • Python中的优化:惰性求值详解

    惰性求值,也就是延迟求值,表达式不会在它被绑定到变量之后就立即求值,而是等用到时再求值。这个特性可以解决一些巨大甚...

  • 什么是惰性求值?

    表达式不在它被绑定到变量之后就立即求值,而是在该值被取用的时候求值 参考 惰性求值 - 维基百科,自由的百科全书

  • 利用 Lambda 表达式实现 Java 中的惰性求值

    Java 中惰性求值的潜能,完全被忽视了(在语言层面上,它仅被用来实现短路求值)。更先进的语言,如 Scala,区...

  • 【r<-高级】内部机制

    内容: 惰性求值 (Lazy evaluation)复制-修改机制 (Copy-on-modify mechani...

  • Java 尾递归

    知识点 尾递归 惰性求值 java8 : lambda Stream 柯里化

网友评论

      本文标题:严格求值和惰性求值(2)

      本文链接:https://www.haomeiwen.com/subject/wkydxftx.html