泛函编程(8)-数据结构-Tree

    上节介绍了泛函数据结构List及相关的泛函编程函数设计使用,还附带了少许多态类型(Polymorphic Type)及变形(Type Variance)的介绍。有关Polymorphism的详细介绍会放在typeclass讨论中。为了更多了解泛函数据结构(Functional Data Structure),想在这个章节把另一个我们熟悉的数据结构-Tree做些简单介绍。

  Tree的状态不是枝(Branch)就是叶(Leaf),这个很容易理解。那么就按照上节设计List那样设计Tree类型:

1   trait Tree[+A] 
2   case class Leaf[A](value: A) extends Tree[A]
3   case class Branch[A](left: Tree[A], right: Tree[A]) extends Tree[A]

类参数+A代表协变(covariant),这个在上节List中已经介绍过了。先创建一个Tree实例(Tree Instance):

1  val tree = Branch(Branch(Leaf(1),Leaf(2)),Branch(Branch(Leaf(10),Leaf(8)),Leaf(3)))
2                                                   //> tree  : ch3.tree.Branch[Int] = Branch(Branch(Leaf(1),Leaf(2)),Branch(Branch(
3                                                   //| Leaf(10),Leaf(8)),Leaf(3)))

创建了一个Tree Instance tree,如下图:

数数有几个节点:

1       def size: Int = this match {
2           case Leaf(_) => 1
3           case Branch(l,r) => 1 + l.size + r.size
4       }
1   tree size                                       //> res0: Int = 9

这是所有branch + leaf 总数。

分开计算branch 和 leaf 数量:

1       def countLeafs: Int = this match {
2           case Leaf(_) => 1
3           case Branch(l,r) => 0 + l.size + r.size
4       }
5        def countBranches: Int = this match {
6           case Leaf(_) => 0
7           case Branch(l,r) => 1 + l.size + r.size
8       }
9  
1   tree.countLeafs                                 //> res1: Int = 8
2   tree.countBranches                              //> res2: Int = 9

探探最深有多深:

1       def depth: Int = this match {
2           case Leaf(_) => 0
3           case Branch(l,r) => 1 + (l.depth max r.depth)
4       }
1   tree depth                                      //> res1: Int = 3

找出最大值的Leaf:

1       def maxValue: Int = this match {
2           case Leaf(a: Int) => a
3           case Branch(l,r) => l.maxValue max r.maxValue
4       }
1  tree maxValue                                   //> res2: Int = 10

可以从以上这些函数得出一下共性。把共性抽象出来用fold来实现:

1         def fold[B](f: A => B)(g: (B,B) => B): B = this match {
2             case Leaf(n) => f(n)
3             case Branch(l,r) => g(l.fold(f)(g), r.fold(f)(g))
4         }

函数fold分别收到两个方法f,g:f用来处理Leaf,g用来处理Branch。看看用fold来实现上面的函数:

1         def sizeByfold = fold(a => 1)(1 + _ + _)
2         def maxValueByfold(l: Tree[Int]) = l.fold(a => a)((x,y) => 0 + (x max y))
3         def depthByfold = fold(a => 0)((x,y) => 1 + (x max y))
1   tree sizeByfold                                 //> res3: Int = 9
2   
3   tree depthByfold                                //> res4: Int = 3
4   
5   tree.maxValueByfold(tree)                       //> res5: Int = 10

 可能这个 tree.maxValueByfold(tree) 有点怪,但如果把函数实现放到 object Tree里然后import Tree._就可以了。

下面把map和flatMap实现了:

1       def map[B](f: A => B): Tree[B] = this match {
2           case Leaf(a) => Leaf(f(a))
3           case Branch(l,r) => Branch(l.map(f),r.map(f))
4       }
5       def flatMap[B](f: A => Tree[B]): Tree[B] = this match {
6           case Leaf(a) => f(a)
7           case Branch(l,r) => Branch(l.flatMap(f), r.flatMap(f))
8       }

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏林德熙的博客

C# 字典 Dictionary 的 TryGetValue 与先判断 ContainsKey 然后 Get 的性能对比

本文使用 benchmarkdotnet 测试字典的性能,在使用字典获取一个可能存在的值的时候可以使用两个不同的写法,于是本文分析两个写法的性能。

3112
来自专栏张高兴的博客

张高兴的 Windows 10 IoT 开发笔记:使用 MAX7219 驱动数码管

3355
来自专栏程序你好

理解C#语言中相等Equality 和唯一 Identity

802
来自专栏菩提树下的杨过

温故而知新:类索引器

类索引器  1 using System;  2 using System.Collections.Generic;  3  4 namespace Pro...

18910
来自专栏菩提树下的杨过

Replace方法与正则表达式的性能比较

今天做项目时遇到一个小需求:要将字符串中的回车符号替换成其它符号(比如"<br/>")。 考虑到不同的情况下,有些系统中是用\r\n作回车符,有些仅用\n就代表...

1899
来自专栏张善友的专栏

TheBeerHouse--ASP.NET MVC范例

《ASP.NET 2.0 Website Programming / Problem - Design - Solution》一书的范例TheBeerHouse...

1839
来自专栏恰同学骚年

ASP.Net请求处理机制初步探索之旅 - Part 3 管道

开篇:上一篇我们了解了一个ASP.Net页面请求的核心处理入口,它经历了三个重要的入口,分别是:ISAPIRuntime.ProcessRequest()、Ht...

952
来自专栏Jackson0714

01.策略模式-上篇

3328
来自专栏博客园

WebAPI返回JSON

web api写api接口时默认返回的是把你的对象序列化后以XML形式返回,那么怎样才能让其返回为json呢,下面就介绍两种方法:  方法一:(改配置法)  ...

2162
来自专栏ASP.NETCore

ASP.NET Core中使用Razor视图引擎渲染视图为字符串

  在有些项目需求上或许需要根据模板生产静态页面,那么你一样可以用Razor语法去直接解析你的页面从而把解析的页面生成静态页,这样的使用场景很多,不限于生成静态...

1324

扫码关注云+社区