2回答
我正在尝试创建一个实现基本队列行为的队列类型类。我的代码如下： {-# LANGUAGE MultiParamTypeClasses #-} |
15 | instance Q
浏览 28提问于2020-01-15得票数 2
回答已采纳
如果我有一个接受元素序列的高阶函数和一个映射和过滤元素的输入函数，有没有合适的名称？处理序列的元素可以并行完成，因此输入函数不能依赖于元素之间的状态。因此，高阶函数的名称不是reduce或fold。在Haskell中，它被称为mapMaybe，但这个名称与可能类型联系得太紧密了。
编辑:只是为了澄清-我不是在问任何关于Haskell</e
浏览 2提问于2013-08-29得票数 0
当它第一次尝试安装可执行文件时，没有成功安装任何文件。我查看了生成的所有日志文件，发现了两个包含错误的日志文件:ansi终端-0.6.2.1和unix-compat-0.4.1.4。unix-compat-0.4.1.4的日志：setup-Cabal-1.18.1.3-x86_64-windows-ghc-7.8.3then you can use the flags
--extra-include-dirs= and --extra-lib-dirs
浏览 4提问于2015-04-11得票数 2
回答已采纳
2回答
它构建得非常完美，绝对没有任何问题。但是，当我想要使用它或者安装像happstack-jmacro这样的依赖于JM宏的包时，我会得到这样的错误消息： (use -v
浏览 0提问于2012-03-16得票数 5
回答已采纳
在Haskell中实现按值调用lambda演算时，我是否应该强制对对象语言(即按值调用lambda演算)中的函数的参数求值，以绕过元语言(即Haskell)的按需调用的求值顺序？具体地说，对于以下使用高阶抽象语法的实现： = Abs (Exp -> Exp)eval exp = caseApp opr opd -> case eval op
浏览 2提问于2013-01-22得票数 2
回答已采纳
1回答
有没有成功和实用的函数式语言(如Erlang)或库，它们基于这样的语言编写的程序没有副作用或只有受控副作用的假设(例如，Monad表示，因此可以被编译器检测和分离)
浏览 0提问于2015-01-06得票数 0
我想在windows下用.cabal文件编译一个Haskell项目。checking if the C compiler is working... no所以我下载了另一个带有Cygwin<em
浏览 0提问于2017-12-10得票数 1
回答已采纳
1回答
我使用的是包，我需要两个函数，如(!!)和elem。第一个函数接收HList和整数n，并返回HList的n元素。第二个元素接收一个HList和一个元素，并根据该元素的Eq实例验证该元素是否在HList中。
有人能帮我做到这一点吗？
浏览 10提问于2022-06-02得票数 0
回答已采纳
从这本书“haskell”中，我发现isAlpha和isLetter都在检查一个字符是否是字母。我找到了一个解释，它说为向后兼容性保留两个，但我不确定这是否是确切的原因。
还有人知道得更多吗？
浏览 4提问于2014-06-06得票数 2
回答已采纳
4回答
在haskell中寻找一个函数，它扁平任意深度嵌套的列表，即递归应用concat并在最后一次迭代时停止(使用非嵌套列表)的函数，但我注意到这需要有一个更灵活的类型系统，因为随着列表深度的变化，输入类型也会发生变化但是，这些家族和类似乎也是由于haskell中缺少/替代依赖类型而引入的(例如，状态“类型族.非常类似于依赖类型”)。我现在的问题是，haskell</e
浏览 8提问于2021-08-22得票数 2
回答已采纳
我正在尝试将Haskell REPL嵌入到我的一个Haskell应用程序中。我们的想法是，默认情况下只加载Haskell库的一个子集，再加上我自己的一组函数，用户将使用这些函数来与环境交互。要解决这个问题，我知道一种方法是创建一个(迷你) Haskell解析器+计算器，并将我的迷你Haskell解析器的函数映射到实际的<
浏览 30提问于2011-07-06得票数 20
回答已采纳
我对将模块编译到Haskell库非常感兴趣。虽然我可以在任何地方使用unsafeCoerce，但是如果我能够保存类型信息，允许编译后的模块在Cabal上发布并被其他Haskell项目使用，那就更有趣了。问题是依赖类型允许被Haskell禁止的程序。例如，下面的函数foo： (b) | zero;
| false;像这样
浏览 2提问于2020-04-15得票数 3
2回答
我有一个具有以下结构的包(好的，这大大简化了，但是……) src/ data/ app.cabal data <- readFile file我的app.cabal: base, haskell</
浏览 0提问于2012-04-27得票数 11
回答已采纳
为了理解函数式编程，我正在学习Haskell，期望我能应用我在其他语言中获得的洞察力(主要是Groovy、Python、JavaScript )。我选择Haskell是因为我有这样的印象，它是非常纯粹的功能，不允许任何依赖状态。
我没有选择学习Haskell，因为我对导航一个非常严格的类型系统很感兴趣。我的问题是:强类型系统是非常纯功能语言的必要副产品，还是Haskell<
浏览 0提问于2010-12-22得票数 33
回答已采纳
1回答
在Haskell中，编译后的程序从在模块main中执行Main开始。此函数必须是IO ()类型的。
我们将Haskell程序的操作、解释、编译等方式作为实现依赖。指示用户创建一个main函数，但从不提到它所需的类型或它是程序执行的开始。有对Main模块的
浏览 8提问于2022-04-30得票数 3
回答已采纳
haskell-src-meta包有两个依赖项：template-haskell >=2.4 && <2.7cabal install --constraint="template-haskell == 2.5.0.0" haskell-src-
浏览 1提问于2012-03-13得票数 4
我正在处理的Haskell项目生成代码(及其测试)，这些代码将作为独立的Haskell库使用。我想将它封装在一个阴谋项目中，这样就可以将它作为一个依赖项来包含。我为这个类库搜索了一个库接口，所以我可以通过调用一些函数在给定的目录下创建一个阴谋项目，但是没有发现任何函数。
当然，我可以从Haskell运行bash命令，但在我看来它很难看。有什么工具能很好地解决我的问题吗？
浏览 4提问于2022-01-07得票数 2
回答已采纳
现在我听到很多关于依赖类型的消息，我听说DataKinds与依赖类型有某种联系(但我不确定这一点.刚刚在哈斯克尔会议上听到的。有人能用一个超级简单的Haskell例子来说明什么是依赖类型，它有什么好处？
维基百科上写道，依赖类型可以帮助防止bug。您能给出一个简单的例子，说明Haskell中的依赖类型如何防止bug吗？我可以在五分钟内开始用它来防止Haskell代
浏览 9提问于2015-09-27得票数 6
回答已采纳
1回答
考虑一下从a到b's和c's，a -> (b, c)的函数的类型。(我将对类型和函数使用Haskell表示法，但这不是关于Haskell本身的问题。)有许多这样的函数，包括两个函数、一个函数或没有一个(b, c)输出都依赖于a的函数。
特别地，假设第一个输出依赖于a，而第二个输出不<e
浏览 4提问于2021-07-22得票数 1
我刚接触Haskell，而且英语也不是我的第一语言，所以请不要因为一些打字错误或问题表达得不好而降低这篇文章的分数:对我来说，这是一场真正的斗争。无论如何:我正在尝试生成随机坐标(Int,Int)，然后在另一个Haskell函数中使用它。但是我在将IO-functions结果“导出”到第二个纯Haskell函数时遇到了一些问题。这里有一个例子，我认为并希望能很好地说明我的问题：
g
浏览 0提问于2021-02-22得票数 4
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
