用户定义的通用列表的映射函数答案

【问题标题】：Map-Function for User-defined Generic Lists用户定义的通用列表的映射函数
【发布时间】：2013-06-03 19:06:23
【问题描述】：

我正在尝试使用两个值构造函数定义一个新的多态类型generic_list：List 和Seq，并添加函数map_function (proc, items) 将proc 映射到所有项目。

这是我目前所拥有的：

datatype 'a seq = Nil | Cons of 'a * (unit -> 'a seq);
datatype 'a generic_list = List of 'a list | Seq of 'a seq;

如何构建map_function 当我有以下要求时：

签名：generic_map (proc, items)
用途：与类中定义的map 相同，但项目可以是常规列表或惰性列表。
类型：fn: ('a -> 'b) * 'a generic_list -> 'b generic_list

例子：

generic_map (fn x => x + 10, List [1, 2, 3]);
val it = List [12,13,14]: int generic_list

generic_map (fn x => x + 10, Seq (Cons (1, fn () => Cons(2, fn () => Cons (3, fn () => Nil)))));
val it = Seq (Cons (11, fn)): int generic_list

【问题讨论】：

我认为在你的第一个例子中，结果应该是List [11, 12, 13]。

标签： sml ml

【解决方案1】：

我猜 map 在类中定义您的意思是 map 函数用于来自 Standard ML Basis Library 的列表？无论如何，您有一个具有两个构造函数的数据类型，一个用于Lists，一个用于Seqs，因此在顶层，您的函数应该区分这两种情况，即

fun generic_map (f, List xs) = List (...) (*map f over xs*)
  | generic_map (f, Seq s)   = Seq (...) (*map f over s*)

对于第一种情况，您可以使用List.map 几乎免费获得所需的东西。剩下的唯一事情是为惰性列表定义一个映射函数。它的形状类似于：

fun map_seq (f, Nil) = ... (*map f over the empty sequence*)
  | map_seq (f, Cons (x, s)) = ... (*map f over x and the remaining sequence s*)

备注：由于它是您的规范的一部分，因此您可能无法更改它 - 也许这更多的是一个品味问题 - 但我发现您的惰性列表类型有点奇怪，因为在您的情况下，惰性列表的尾部与惰性列表的类型不同（即，列表的头部不会被惰性访问）。在类似的情况下我宁愿使用

datatype 'a cell = Nil | Cons of 'a * (unit -> 'a cell);
type 'a seq = (unit -> 'a cell);

或

datatype 'a seq = Seq of unit -> ('a * 'a seq) option;

空序列由Seq (fn () => NONE)编码。

【讨论】：