小编Cur*_*id7的帖子

我想知道是否可以编写一个函数程序(如在Haskell或OCaml中),它接受两个列表并确定第一个是否是第二个的子列表,具有程序无法调用列表元素之间相等的属性.

更一般地说,是否有这样的程序适用于任意类型的元素列表？也就是说,(在Haskell术语中)类型不必受Eq,Ord或其他东西的约束.

我问这个的原因是,当处理任意类型的元素列表时,这些元素有时不支持标准相等(对于整数,字符串等).但是,测试子列表会很有帮助.

我一直无法想到满足这种条件的实现.是否可以创建一个？