所以我需要在Haskell中创建一个Set数据类型。 所以，我的问题的第一部分，我需要定义 type Set a = ...
我把它设置为 type Set a = Set [a]
因为套装也只是α的名单，对不对？ 或者，将正确的方式做到这一点是 type Set a = ([a])
然后，在接下来的一部分，我需要实现的功能 setSuchThat :: (a -> Bool) ->
在夫特套，有一个方法来构造一个类型的“集的给定尺寸的？”（尽管在夫特没有依赖性类型的，是这样的结构仍然可能没有过多的“扭曲？”） 作为一个例子，我希望能够定义一个参数化类型SetOfSizeTwo<T>，它的实例是由（Hashable）类型T正好两个对象组成的集合。 目前，我使用的是穷人的代理： struct SetOfSizeTwo<T> where T: Hashable {
var
我有一个包含原始字段（int，uint8，...）和指针的结构。 这些指针通常指向一个不同结构类型的数组，以保持深度嵌套结构。 例如，在C： struct A
{
int field1;
int field2;
struct B *fields3;
unsigned int countofb;
}
struct B
{
int anotherfield1;
i