F#编程实践与算法优化-优快云博客

71、声明一个类型为 countAC : BinTree<’a> -> int -> (int -> ’b) -> ’b 的尾递归函数，使得 count t = countAC t 0 id。countAC t a c 的含义是，a 是到目前为止已统计的节点数，c 是延续函数。

let rec countAC t a c =
  match t with
  | Leaf -> c (a + 0)
  | Node(tl, n, tr) -> countAC tl (a + 1) (fun vl -> countAC tr vl c)

72、声明尾递归函数 leftTree 和 rightTree。使用 leftTree 应该能够生成一个向左的大型不平衡树，该树的节点中包含 n + 1 个值，使得根节点的值为 n，左子树的根节点的值为 n - 1，依此类推，所有右子树都是叶子节点。类似地，使用 rightTree 应该能够生成一个向右的大型不平衡树。1. 使用这些函数展示在进行节点数量统计时的栈限制。2. 使用这些函数测试另外两种不同的节点数量统计方法的性能。

要完成此任务，可按以下思路操作：

首先声明 leftTree 和 rightTree 函数；
然后使用它们生成大型不平衡树；
接着分别使用一种普通的节点数量统计方法对生成的树进行计数以展示栈限制；
最后使用另外两种不同的节点数量统计方法对生成的树进行计数以测试性能。

73、列表和集合迭代函数的效率比较。在这个练习中，你应该声明函数 iterCollM : (’a -> unit) -> Coll<’a> -> unit，使得当集合 col 包含元素 v0, v1, …, vn 时，iterCollM f col 执行 f v0; f v1; … ; f vn，其中 M 是遍历方法，可以基于尾递归函数或使用枚举器。1. 声明一个尾递归函数，用于对列表的元素迭代执行一个函数。2. 声明一个基于枚举器的版本。3. 基于反复从集合中移除最小元素的递归方案，声明一个尾递归版本，用于对集合的元素进行迭代。4. 比较上述迭代函数和库函数 List.iter 与 Set.iter 的运行时间。例如，使用包含从 0 到 10000000 的整数的集合和列表以及 ignore 函数。

需按照要求编写代码并进行运行时间比较。

74、HTML元素

…

用于包裹网页中预格式化的部分。这部分内容会按照书写形式精确显示，包括空格和换行，但每行内容需要进行HTML编码。当网页在浏览器中显示时，这部分文本可以通过复制粘贴的方式进行复制。编写一个程序，程序调用形式为 examplePage fileName.txt，该程序读取文本文件 fileName.txt 的内容，并生成一个名为 fileName.txt.html 的网页文件，其中包含该文件的内容作为预格式化文本。

以下是解决此问题的F#程序示例：

open System
open System.IO
open System.Web

let examplePage (fileName: string) =
    let inputFile = fileName
    le