-
1 votesanswersviews
数据类型Haskell错误
我声明了一些数据类型如下: data TX_OR_TY = TX | TY data TX = X Int data TY = Y Float 现在我写一些函数返回它们的数据类型: funcTX :: TX funcTX = X 3 funcTY :: TY funcTY = Y 5 ordFuncTX :: TX -> Int -> Bool ordFuncTX (X a) b... -
252 votesanswersviews
使用模板Haskell获取关联的类型同义词
模板Haskell可以找出类型类中声明的关联类型同义词的名称和/或声明吗?我希望reify可以做我想要的,但它似乎没有提供所有必要的信息 . 它适用于获取函数类型签名: % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help ... Prelude> -- I'll be inserting line brea... -
0 votesanswersviews
难以理解Haskell中的类型推断
在Haskell中,我们知道如果我们有一些带有类型签名 f :: a -> a 的函数 f ,那么Haskell可以推断出以下类型: f "alpha" 将具有 [Char] 类型; f 1234 将具有 Num a => a 类型 f Just 的类型为 a -> Maybe a 等等 . 参考以下代码, 在函数 result_sm :: (Monad m)... -
242 votesanswersviews
Template Haskell有什么不好的?
似乎Haskell社区经常将模板Haskell视为一种不幸的便利 . 我很难准确地说出我在这方面所观察到的内容,但请考虑这几个例子 模板Haskell在"The Ugly (but necessary)"下列出以回答问题Which Haskell (GHC) extensions should users use/avoid? 模板Haskell被认为是Unboxed ...