Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
固定长度和类型文字的列表
我正在尝试在 Haskell 中定义固定长度列表的类型 当我使用标准方法将自然数编码为一元类型时 一切正常 然而 当我尝试在 GHC 的类型文字上构建所有内容时 我遇到了很多问题 我第一次尝试所需的列表类型是 data List n Nat
Haskell
ghc
typeinference
修补没有 <
> 的递归定义列表
Context 我们都知道递归定义的斐波那契数列 fibs 1 1 zipWith fibs tail fibs gt fibs 1 1 2 3 5 9 13 21 34 55 89 Question 我正在尝试在几个地方 修补 它 以便
Haskell
tyingtheknot
给定一个函数记录,以及该函数所作用的类型的数据记录,如何通用地应用该函数记录?
标题稍微不准确 因为我的特定情况涉及更多 而不是第一个记录中的函数直接作用于第二个记录中的值 而是作用于值的列表 或其他可遍历的 我们可以假设 对特定字段的应用程序的结果返回的值与该字段中的类型相同 如果这能给我们带来什么好处的话 一个例子
Haskell
代数数据类型的计数
我正在阅读 收听 Chris Taylor 关于代数数据类型的演示 http chris taylor github io blog 2013 02 10 the algebra of algebraic data types 还有一个关于
Haskell
Theory
algebraicdatatypes
Haskell 中函数的类型推断
我正在为 Haskell 做练习题 其中一个问题是 test3 x y x x y 我必须找到它的类型 解决办法是 test3 a gt a gt a gt a 我不明白为什么解决方案中的变量都是 a 而不是将 x 和 y 视为两个不同的变
Haskell
为什么我使用 iteratee IO 的 Mapreduce 实现(现实世界的 haskell)也会失败并出现“打开文件过多”
我正在实现一个 haskell 程序 它将文件的每一行与文件中的每一行进行比较 哪些可以实施单线程如下 distance Int gt Int gt Int distance a b a b a b sumOfDistancesOnSmal
loops
Haskell
MapReduce
为什么这个 Haskell 表达式这么慢?
我正在研究 Project Euler Problem 14 这是我的解决方案 import Data List collatzLength Int gt Int collatzLength 1 1 collatzLength n odd
Haskell
Optimization
“程序入口点...无法定位”在错误的 DLL 中
我已经从 Haskell 代码创建了一个 DLL 并从 C 调用这个 DLL 当我在 Visual Studio 2010 中以调试模式运行时 我的应用程序工作正常 但是当我进行发布构建并安装它时 出现错误 无法在动态链接库 Advance
c
Haskell
dll
为什么差异列表不是可折叠的实例?
The 列表包包含DList数据类型 有很多实例 但没有Foldable or Traversable 在我看来 这是两个最 类似列表 的类型类 是否存在性能原因DList不是这些类的实例吗 此外 该包确实实现了foldr and unfo
Haskell
churchencoding
differencelists
GHC 优化:Collatz 猜想
我已经编写了代码欧拉计划的挑战 14 同时Haskell and C ideone 链接 他们都记得之前在数组中进行的任何计算 Using ghc O2 and g O3C 的运行速度分别比 Haskell 版本快 10 15 倍 虽然我知
Haskell
Optimization
Foldr 与 Foldl(或 Foldl')的含义
首先 现实世界哈斯克尔我正在读的书说永远不要使用foldl并改为使用foldl 所以我相信它 但我不知道什么时候使用foldr vs foldl 尽管我可以看到它们以不同方式工作的结构摆在我面前 但我太愚蠢了 无法理解什么时候 哪个更好 我
recursion
functionalprogramming
fold
Haskell
帮助解决 cabal 安装包阴影错误
我现在对两个不相关的包遇到了同样的错误 missingpy 和 monadiccp gt cabal install p v monadiccp 一些输出后 Creating dist build and its parents usr l
Haskell
cabal
如何读取(并解析)文件,然后附加到同一文件而不出现异常?
我试图在 Haskell 中正确读取文件 但似乎收到此错误 异常 neo txt openFile 资源繁忙 文件被锁定 这是我的代码 import Data Char import Prelude import Data List imp
file
Haskell
Exception
locked
这个 YesodAuth 实例有什么问题?
我刚刚从当前的 yesod 脚手架迁移到最新的yesod 1 6 0 yesod auth 1 6 2 instance YesodAuth App where type AuthId App UserId authenticate cre
Haskell
yesod
以 pointfree 风格编写函数的一般方案是什么?
我正在通过20 个中级 Haskell 练习目前 这是一个非常有趣的练习 它涉及实现类型类的各种实例Functor and Monad 以及需要的函数Functors and Monads 作为参数 但是有可爱的名字 比如Furry and
Haskell
higherorderfunctions
combinators
pointfree
Where 子句应用于多种模式
我有一个具有多种模式的函数 我有两个或多个共享相同的表达式 我想替换它们 现在如果我写一个where子句在底部 缩进它并定义一个新变量 因为我想替换它的表达式不起作用 Example myFunction firstParam second
Haskell
patternmatching
whereclause
我可以限制 Haskell 中每个函数/monad/线程的内存使用吗?
我正在研究一个旨在作为服务工作的研究编译器项目 要求之一是某些用户可能具有有限的内存使用量 例如 来自 IP 的呼叫a b c d在处理其调用时可能会使用最多 30mb 的堆内存 我的原型实现是用 C 编写的 只是使用内存池而不是mallo
Multithreading
Haskell
memory
ghc
在 Haskell 中简单输入 lambda 演算失败
我是 Haskell 的新手 所以如果这个问题没有太大意义 我深表歉意 我希望能够在 Haskell 中实现简单类型的 lambda 表达式 这样当我尝试将一个表达式应用于另一个表达式时wrongtype 结果不是类型错误 而是一些设置值
Haskell
Lambda
optiontype
typed
如何在 Haskell 中实现“cat”?
我正在尝试写一个简单的catHaskell 中的程序 我想将多个文件名作为参数 并将每个文件依次写入STDOUT 但我的程序只打印一个文件并退出 我需要做什么才能让我的代码打印每个文件 而不仅仅是传入的第一个文件 import Contro
Haskell
conduit
类型变量不明确但在 ghci 中没有?
任何人都可以解释为什么 haskell 在下面的示例中强制执行显式类型签名以及如何修改它以避免需要显式声明 import qualified Data List as L main do print length L nub 1 1 2 3
Haskell
«
1 ...
88
89
90
91
92
93
94
...96
»