Haskell是一种函数式编程语言,具有强大的静态类型,惰性求值,广泛的并行性和并发支持以及独特的抽象功能。
我可以复制nix-build与nix-shell和cabal构建的内容吗?
我正在使用精彩的Haskell库Miso,它推荐使用Nix。 README引导我们完成一个可以使用nix-build构建的简单项目。 Miso的文档提示我可以这样做:......
初学者。得到一个名为HHtml的模块输出:setDoc =“ " setTitle = " " ++ htmlTitle generator ++ " " setHeader = "
情况是,我正在尝试使用Stack安装Netwire。然而,最新的netwire 5.0.1存在一个问题,正如dhobbs报道的那样:http://hub.darcs.net/ertes/netwire/issue/13因为我不......
对不起,我刚开始学习Haskell。我不明白如何将元组附加到每个子列表。我当前的列表是:[[(“String”,“String”,2.0)],[(“String”,“String”,2.0),(“String”,“String”,2.0)......
我一直在努力在Haskell中创建一个minimax函数,并且在SO上找不到任何好的替代品,因此我要问:我想创建以下函数:minimax :: Player -...
Haskell的Persistent sometmes返回500内部服务器错误
以下代码在localhost:3000上启动Web服务器。 #!/ usr / bin / env stack - stack script --resolver = lts-12.16 { - #LANGUAGE EmptyDataDecls# - } { - #LANGUAGE FlexibleContexts ...
对于我们的Hakyll代码库,我已经编写了一些辅助方法,并开始在新的方法中添加一些HSpec单元测试,例如: - |拒绝项目,除非@ fieldName @设置为“true”,除非启用:...
Haskell类型错误 - 无法将预期类型“a”与实际类型“RE a”匹配
所以我有以下几行...... firstMatches :: RE a - > [a] firstMatches(a:+:b)| (matchEmpty a == True)= [a]其中matchEmpty定义为... matchEmpty :: RE a - > Bool ...
所以我有一个数据列表,我知道newtype目前更好,但我会添加更多的东西。我想将Pack列表转换为String。解包[Pack('a','b'),Pack('c','d'),Pack('','...
我有一个函数步骤:: Int - > State Int Int step n = get >> = \ x - > put(x`div`n)>> return(x`mod`n)λ> runState(步骤25)41 (16,1)如何运行一系列步骤,......
在Haskell中,()运算符的默认实现(它将函数a-> b的应用应用于在Control.Applicative中生成b的应用程序的应用程序). ..
如果我有一个MultiParamTypeClass,比如说一个k v(无论如何,它的类型是* - > * - > *)我想为列表创建一个实例(即[(k,v)]),这可能吗?我得到了编译器......
我刚刚开始学习Haskell,我在ghci中加载文件时遇到了问题。在一个名为Exercises.hs的文件中,我有一些我应该解决的预定义练习,这个给我一个错误:...
我在Haskell上做一些练习。首先我被要求定义一个函数insert :: Int - > [Int] - > [Int],以便插入x xs将x插入到列表xs中,使得x大于...
从我的问题的具体实例开始,我们都知道(并且喜欢)Monad类型类:class ... => Monad m where return :: a - > ma(>> =):: ma - >(a - > mb) - > mb ......
对于练习我需要反转图形(反转所有边缘),但我没有得到任何结果。所以我需要一些帮助。我知道你可能不想为我解决这个问题,所以这不是我的意思......
为什么`和`为空可折叠返回True,但`或`在Haskell中返回False? [重复]
是否有理由可以解释这些结果是否可以预期?它们比未定义更好吗? >>> any(const True)[] False >>> any(const False)[] False&...
我是Haskell的新手,想要为用户解析JSON。有这种сode:导入Data.Aeson作为Q导入Data.Text导入Control.Applicative导入Control.Monad导入限定数据....
这个问题是以下问题的续集。首先参考它:通过Nat-kind重叠实例现在是时候制作Group Symmetric的实例了。在一些野蛮的数学之后,我来了......