我正在尝试编写一个只能包含Num的新monad.当它失败时,它会返回0,就像Maybe monad在失败时返回Nothing一样.
这是我到目前为止:
data (Num a) => IDnum a = IDnum a
instance Monad IDnum where
return x = IDnum x
IDnum x >>= f = f x
fail :: (Num a) => String -> IDnum a
fail _ = return 0
哈斯克尔抱怨说有
No instance for (Num a) arising from a use of `IDnum'
它建议我为每个monad函数的类型签名的上下文添加一个add(Num a),但我尝试了它然后它抱怨他们需要工作"forall"a.
例如:
Method signature does not match class; it should be
return :: forall a. a -> IDnum a
In the instance declaration for `Monad …我收到一个神秘的错误,我不明白为什么.此代码在失败之前运行多次,并且始终在同一点失败.
这是我的代码:
assert(size > 0);
int* sorted = malloc(size * sizeof(int));
这是我运行时遇到的错误:
malloc.c:2369: sysmalloc: Assertion `(old_top == (((mbinptr) (((char *) &((av)->bins[((1) - 1) * 2])) - __builtin_offsetof (struct malloc_chunk, fd)))) && old_size == 0) || ((unsigned long) (old_size) >= (unsigned long)((((__builtin_offsetof (struct malloc_chunk, fd_nextsize))+((2 * (sizeof(size_t))) - 1)) & ~((2 * (sizeof(size_t))) - 1))) && ((old_top)->size & 0x1) && ((unsigned long)old_end & pagemask) == 0)' failed.
我已经尝试打印出尺寸,在这种情况下它是1.在失败之前,此代码会以不同的大小值(包括1)运行多次.
有谁知道我做错了什么？
谢谢.