Haskell：模式中的解析错误：A -1可能是由缺失＆＃x27; do＆＃x27引起的？
试图实施著名的 ackermann函数在Haskell中实际上是可衡量的，我偶然发现了错误描述的美丽： 模式中解析错误：A -1 可能是由于缺失的“做”引起的？ 我…
如何用类约束手动计算功能的类型？
以下功能应用程序的键入规则 f :: A -> B e :: A ----------- f e :: B 没有考虑到类约束的 f 。我如何手动计算类型，例如： (+) :: Num a => a -> a …
我如何手动推断实例const :: a - ＆gt; a - ＆gt;一个
Haskell类型变量被隐式量化。关键字 forall 出现在 :: 之后。 例如， const 类型签名 const :: a -> b -> a 写为： const :: forall a b. a -> b -> a…
如何使用存在类型的异质列表获得表达问题的可扩展性
我正在尝试做的事情， 我正在尝试解决与Haskell中表达问题相似的问题。 它们有不同的表达方式和不同的操作。表达式和操作都应可扩展。 我的尝试： 为…
使用aeson的形式键 - 值对的值
我很难以形式解析JSON文本， { "Person1": { "name": "John Doe", "job" : "Accountant", "id": 123 }, "Person2": { "name": "Jane Doe", "job" : "S…
如何判断在Haskell中的Linux上是否安装了程序
我正在创建一个使用与服务器交互的外部程序的脚本。 我想首先测试该程序在尝试使用之前已安装。 我查找了判断是否安装程序并找到此帖子的首选方法： …
在GHCI或多或少挑剔的类型中展示
如果我启动GHCI并输入一个简单的算术表达式，我通常不会在没有大惊小怪的情况下获得预期的结果 GHCi λ: 6 * 7 42 ，但是我在教程中遵循的示例是Cabal…
应用程序类型中的类型错误不匹配
nextMyStates :: MyState -> [MyState] nextMyStates(s) =[up(s),down(s),left(s),right(s),collect(s)] isGoal :: MyState -> Bool isGoal (S (l) (a…
如何明确导入＆＃x27; fn＆＃x27; test.quickcheck的模式？
haskell的 /a>模块导出模式FN ，我一直在使用。 当我将其导入时： import Test.QuickCheck 它可以正常工作。但是，当我将其导入以下内容时： import T…
创建Haskel插座客户端
我尝试将Haskell： -- Logger putStrLn "Create socket" sock_logger <- socket AF_INET Stream 0 putStrLn "Bind socket" connect sock_logger (Sock…
是否有一种独立于平台的方法来检查文件路径是否是Haskell中根目录的某种表示？
在Haskell中，是否有一种便携式方法可以检查 filepath 如果它是根目录，例如/或 // onix/posix/ linux和 c：\ 或 \\？\ unc \ foobar 在Windows/nt/do…
Yesod安装失败.. Haskell-GHC-Options＆quot; -fdiagnostics-color =始终
我正在尝试从 在第3步上， stack安装yesod-bin - 安装ghc 我收到一个错误，如下所示， stack install yesod-bin --install-ghc Linking /Users/air/.s…
