GHC有一些语言标志,如DeriveFunctor、DeriveDataTypeable等,它们允许编译器为Haskell98中允许的类型类以外的类型类生成派生实例。这对于Functor这样的东西尤其有意义,因为该类的规则规定了一个明显的、“自然”的派生实例。
那么,为什么Monoid不能呢?它似乎适用于任何只有一个数据构造函数的数据类型:
data T = MkT a b c ...
可以机械地生成一个Monoid实例(请原谅伪代码):
instance (Monoid a, Monoid b, Monoid c, ...) => Monoid T where
mempty =
我正在尝试用一个C程序实现一个插件系统。插件将被编译为共享库,并在编译期间链接。
假设我有一个单链表结构定义:
struct plugin_iface
{
int data,
struct plugin_iface* next
};
每个插件创建此结构的全局实例,所有这些实例都具有相同的名称:
struct plugin_iface IfaceList =
{
.data = 42,
.next = &IfaceList
} // Defined in the global scope in each plugin
正如我所料,next指向了它的父级-
我有下一个代码:
module MakeLink (Key : Map.OrderedType) = struct
module Links = Map.Make (Key)
type 'a t =
{ links : 'a t Links.t;
value : 'a
}
type key_t = Key.t
let make value =
{ links = Links.empty;
value
}
let link linker ~to