GHC有一些语言标志,如DeriveFunctor、DeriveDataTypeable等,它们允许编译器为Haskell98中允许的类型类以外的类型类生成派生实例。这对于Functor这样的东西尤其有意义,因为该类的规则规定了一个明显的、“自然”的派生实例。
那么,为什么Monoid不能呢?它似乎适用于任何只有一个数据构造函数的数据类型:
data T = MkT a b c ...
可以机械地生成一个Monoid实例(请原谅伪代码):
instance (Monoid a, Monoid b, Monoid c, ...) => Monoid T where
mempty =
我是VPS的新手。我的共享托管计划不允许我在我的网站上安装聊天脚本。他们要求我得到VPS主机。
我现在有一个免费的VPS
128MB RAM 10GB Disk Space Unlimited Bandwidth
Instant Setup
OpenVZ Virtualization
Linux OS
他们为什么要我加入这个VPS主机?我可以安装游戏/聊天脚本吗?我能主办无限的网站吗?我能承载无限的域名吗?我可以安装red5吗?我能做一个流媒体网站吗?我怎么能?我是否需要在我的vps中安装任何软件?
其他人说你可以在VPS主机上做任何你想做的事?为什么?像电脑一样吗?我可以安