8得票2回答
`coerce` 和类型变量的实例化

考虑以下的GHCi会话: >:set -XTypeApplications >import Data.Map.Strict >import GHC.Exts >newtype MySet a = MySet (Map a ()) >let member' :: ...

8得票5回答
Python:强制新式类

我希望这段代码“只需要工作”: def main(): c = Castable() print c/3 print 2-c print c%7 print c**2 print "%s" % c print "%i" % c ...

8得票1回答
Haskell类型是否可以通过强制转换与它们的C语言对应类型相同?

我该如何确定在给定平台上Haskell类型是否具有等效的Coercible实例? 我刚刚听说了GHC 7.8中的Coercible,这似乎很棒。在这种情况下,我想解决我的具体问题同样好的一个问题是:是否有一种方法可以询问GHC关于哪些类型对a、b存在Coercible a b实例(在当前平台...

7得票1回答
将数组强制转换为列表时出现不一致的行为?

my @foo; @foo = (1, (2, 3), (4, (5, 6), 7), (8), 9).List; say @foo.flat; # OUTPUT: (1 (2 3) (4 (5 6) 7) 8 9) # this is NOT the output I expected. ...