我正在尝试实现另一组的set子集 . 但是我无法使用以下示例{{{},1}}和{{1,{}}}我已经尝试了所有能力 . 我的主要目的是设置在这种情况下返回true的set equality . 首先,我想让我的子集工作,然后实现集合相等 .
datatype expression = SET of expression list | TUPLE of expression list | INT of int
fun member(a,SET y) = List.exists (fn x => x=a) y;
fun member1 (n,nil) = false
| member1 (n, SET h::r) = (n=h) orelse member1 (n,r);
fun isIn value list = List.exists (fn x=>value=x) list;
fun isSubset' ([],s') = true
| isSubset' (e::s,s') = isIn e s' andalso isSubset' (s,s');
fun isSubset(SET s,SET s') = isSubset'(s,s');
fun subsetEQ [] S' = true
| subsetEQ (x::xs) S' = isIn x S' andalso subsetEQ xs S';
fun setEq (SET S,SET S') = (subsetEQ S S') andalso (subsetEQ S' S) ;
val x0 = INT 8;
val x1 = SET [SET[SET[],INT 1]];
val x2 = SET [SET[INT 1,SET[]]];
val x3 = setEq (x1,x2);
1 回答
你所拥有的问题是在例如
您正在使用常规相等,但对于嵌套集,您需要您尝试定义的set equality的概念 .
你真正需要的是三个相互递归的函数,一个用于成员资格,一个用于子集,一个用于相等 . 此外,为什么不为所有模式提供合理的定义,而不是有大量令人讨厌的消息
Warning: match nonexhaustive
?您可以对代码进行以下修改(请注意关键字and
而不是fun
,用于三个相互递归函数中的第二个和第三个):以上编译没有警告和
x3 = true
.