小编Kro*_*cus的帖子

作为一个玩具项目,我想了解如何在Haskell中建模数学组.

为了让我们开始,我们首先观察一个被定义Group的只是一个Monoid反转.

class (Monoid m) => Group m where
    minvert :: m -> m

接下来,我们首先将自己局限于循环组,并从定义12阶循环组开始.

data Cyclic12 = Cyclic12 Int deriving (Show, Eq)

最后,我们实例化两个类Cyclic12.

instance Monoid Cyclic12 where
    mempty = Cyclic12 0
    mappend (Cyclic12 x) (Cyclic12 y) = Cyclic12 ((x + y) `mod` 12)

instance Group Cyclic12 where
    minvert (Cyclic12 x) = Cyclic12 ((0 - x) `mod` 12)

如何从特定值12中抽象出先前的定义,以允许对不同循环组进行更通用的定义？

理想情况下,我想编写类似的定义

instance Monoid (Cyclic k) where
    mempty = Cyclic k 0
    mappend (Cyclic k x) …

给一个班级

class C {
public:
    int f (const int& n) const { return 2*n; }
    int g (const int& n) const { return 3*n; }
};

我们可以定义一个函数指针p,以C::f这样.

int (C::*p) (const int&) const (&C::f);

定义p可以使用以下方式拆分typedef:

typedef int (C::*Cfp_t) (const int&) const;
Cfp_t p (&C::f);

为了确保p不会改变(p = &C::g;例如),我们可以这样做:

const Cfp_t p (&C::f);

现在,p这种情况下的类型是什么？我们如何在p不使用typedef 的情况下完成最后的定义？我知道typeid (p).name ()无法区分最外面的const,因为它产生了

int (__thiscall C::*)(int const &)const