检查Haskell中两个n-ary树是否相等
Checking if two n-ary trees are equal in Haskell

我试图在Haskell中实现一个简单的布尔函数来检查两个n-ary树是否相等。 我的代码是: - 这是n-ary树的定义。 - (我知道“Leaf a”不是必需的,但我...

在GHCI中进行检查时可能采用不同的类型
Different Maybe Types When Inspecting in GHCI

我是Haskell的新手,并试图自学绳索,如果这是一个基本问题,请原谅我。 如果我打开解释器(ghci),为什么我会得到如下不同的类型:只有54种类型是......

在函数定义中使用实例模式
Using an instance pattern in a function definition

我想创建一个使用“幻影类型”单位的运算符:newtype Length(a :: UnitLength)b =长度b导出(Eq)数据UnitLength = Meter | KiloMeter | 英里......

MonadRandom:为什么堆栈溢出发生?
MonadRandom: why stack overflow happens?

这个问题肯定是针对stackoverflow.com的,这里是示例模块Main,其中导入Control.Monad.Random导入Control.Exception数据Tdata = Tdata Int Int整数字符串randomTdata :: ...

令人困惑的Data.Encoding错误
Puzzling Data.Encoding Error

我正在尝试使用Data.Encoding中的解码器对某些我不确定编码正确的文本。 当我尝试将以下代码加载到haskell时:import Data.Encoding(DynEncoding,...

Haskell:线程和IO类型
Haskell: Thread and IO type

我正在研究Haskell到线程部分。 我尝试创建2个线程来进行不同的计算。 这是一个非常简单的功能,仅适用于练习。 像这样的代码:import Control ....

如何使用char *类型的参数将NULL传递给外部函数?
How do i pass NULL to the foreign function with argument of type char*?

我正在编写Haskell绑定到某个C项目,并且有一个类型为void foo(char *)的函数; 问题是foo检查此指针是否为NULL值并执行与正常情况不同的操作...

Haskell:如何在do块中操作字符串类型
Haskell: how to operate the string type in a do block

我想创建一个函数,首先将列表l分为两个列表m和n。 然后创建两个线程以找出两个列表中最长的回文。 我的代码是:import Control.Concurrent(forkIO)...

Haskell递归Minimax树
Haskell Recursive Minimax Tree

我正在尝试使用minimax算法在Haskell中编写Tic Tac Toe程序。 我构建了自己的“Rose a”数据类型,如下所示:data Rose a = a:> [Rose a]这是我...的数据类型

Xmonad将淡入淡出添加到logHook
Xmonad add fading to logHook

我是哈斯克尔的初学者,我的问题可能很明显。 我想在xmonad de中添加淡入淡出。 代码:xmonad $ defaultConfig {...

Haskell自定义数据类型
Haskell Custom Data Type

我正在做一个家庭作业,我们有一系列混合元素Char和Int。 我创建了这个自定义类型:data Element = CharToElement Char | IntToElement Int转换字符和...

是否有可能使用类型系统或不同的设计来捕捉这个错误?
Is it possible to catch this mistake using the type system, or a different design?

我正在进行一项小型重构,其中包括将数据类型的一部分从Int类型转换为newtype包装器。 之前:数据帐户=帐户{accountId :: Int}派生(Eq,Show)......

在ghci上限制hoogle的输出
Restricting output of hoogle on ghci

我在我的盒子上安装了hoogle,我可以在ghci中使用hoogle。 有没有办法要求hoogle只在某些模块和包中搜索? 我试过:hoogle + System.Directory目录......

Haskell:无法将预期类型'IO b'与实际类型bool匹配
Haskell: Couldn't match expected type 'IO b' with actual type bool

我收到以下错误:无法将预期类型`IO b'与实际类型`Bool'匹配在表达式中:upCheck [“########”,“#11xxx3#”,“#xx2xx3”, “#002xx3”,......] 2 [2,3,4] ......

抽象记录或记录界面?
Abstract records or record interfaces?

我正在使用Haskell制作一个游戏,(这是一个任务,所以不要评判我),但我面临着有关数据类型的问题。 所以我想要的是一个数据类型实体,它具有位置,速度,角度......

Pure Functional方法生成唯一ID
Pure Functional approach to generate a unique id

这更像是一个理论问题,但我觉得必须有办法做到这一点。 我有JS组件,当它们被创建时,它们需要为html元素分配一个唯一的id,一个......

在某些变量具有特定值时分配特殊情况?
Assigning special cases when certain variables have certain values?

对于我的函数式编程作业,我被指示编写一个函数,在列表中返回二次方程的真实解,我用判别式找出它们。 那么,我的代码......

GADT与自定义数据类型的混淆?
GADT confusion with custom data types?

我有以下自定义数据类型:数据FirstPair'ab = FirstPair ab派生(Show,Ord,Eq)类型FirstPair a = FirstPair'aa数据SecondPair'ab = SecondPair ab派生(Show,Ord,Eq)...

如何限制异构列表中的类型?
How do I restrict the types in a heterogenous list?

我目前正在尝试创建一种(类型)类型安全的xml类似嵌入Haskell的语法。 最后我希望能达到这样的目的:tree = group [arg1“str”,arg2 42] [item [...

我们可以为WrappedArrow定义一个Monad实例吗?
Can we define a Monad instance for WrappedArrow?

WrappedArrow是Applicative的一个实例,但它可以成为Monad(可能是箭头是ArrowApply)? 实例ArrowApply a => Monad(WrappedArrow ab)其中return = pure(>>)= ...

如何将具有Num类型强制的实例强制转换为Fractional?
How can a instance with Num type class coercion to Fractional implicitly?

我使用GHCI测试了数字强制:>> let c = 1 :: Integer >> 1/2 0.5 >> c / 2 <interactive>:15:1:错误:•没有(分数整数)的实例...

树的代数数据类型
algebraic data type for tree

我正在尝试构建一个树,其子项在列表中表示。 每个孩子本身可能是子树等。所以我这样走 - 数据孩子a = NoChildren | 缺点(儿童a)......

无法推断(Ord a0)因使用'>'而产生
Could not deduce (Ord a0) arising from a use of ‘>’

我正在收集与我正在尝试创建的类型类相关的编译时错误。 我的程序:main = print“here”class Tiger a tigerWeight ::(ord o)=> a - > o class Zoo a where ...

GHCI到外部文件
GHCI to external file

我有一个Haskell函数,它返回相当大的输出。 (实际上,超出了控制台的缓冲区大小。)GHCI输出是否可以自动保存到外部txt文件而不是......

捕获所有或默认路由
Catch-all or default routing

现在,如果请求的路由与现有API端点或其他静态资产不匹配,则需要从后端返回文件(例如index.html)并不罕见。 这特别方便......

为什么:即使我评估变量,sprint也会显示WHNF?
Why :sprint is showing WHNF even when i evaluate the variable?

这是我正在玩的代码:* Main DepthFirstSearch DivideAndConquer Fibonacci LongestEdgePathInDAG> let x = Data.Map.empty * Main DepthFirstSearch DivideAndConquer Fibonacci ...

类型约束,多态性和木薯导管
Typeclass constraints, polymorphism and cassava-conduit

在玩Haskell和管道时,我遇到了一个我很难解释的行为。 首先让我列出需要加载的所有模块和语言扩展,以重现我的...

HXT使用'orElse'替换默认的缺失属性值
HXT using 'orElse' to replace missing attribute value with default

我正在使用HXT来解析一个简单的XML文件,并且需要使用默认值替换标记的缺失属性。 但由于某种原因,或者Elsese没有按预期工作。 下面是XML文件:<! - ...

哈斯克尔:头。
Haskell: head . mergeSort (for min element) in linear time?

在HaskellWiki https://wiki.haskell.org/Performance/Laziness中,他们将merge-sort函数引入非惰性merge_sort [] = [] merge_sort [x] = [x] merge_sort lst = let(e,o) = cleave lst ...

如何实现'ex :: Maybe [[Maybe a]] - > [[a]]'方法
How to implement a 'ex :: Maybe [[Maybe a]] -> [[a]] ' method

我试图在Haskell中实现Maybe [[Maybe a]] - > [[a]]类型的函数。 我尝试了很多方法,但最接近的是:ex :: Maybe [[Maybe a]] - > [[a]] ex list = ...

Haskell在递归函数中标记项
Haskell labelling items in recursive function

我对Haskell和一般的函数式编程都很陌生,所以如果问题看起来简直或愚蠢,请原谅。 我有一个解析器,用于生成抽象语法的简单语言...

使用ReaderT和StateT Monads拼接功能
Stitching functions together using the ReaderT and StateT Monads

我从Haskell开始,我需要使用ReaderT和StateT Monads帮助拼接功能。 理想情况下,如果可能的话,所有函数都将具有相同的签名(我...

HXT:重用“预先准备”的数据
HXT: reuse "preparsed" data

我试图用HXT将XML预先解析为[XmlTree]一次,然后多次重复使用这些数据。 下面是我的代码:{ - #LANGUAGE Arrows,NoMonomorphismRestriction# - } import Text.XML.HXT.Core ...

无法安装GHCJS DOM包
Trouble Installing GHCJS DOM Package

我正在尝试安装GHCJS。 当我运行cabal install ghcjs-dom时,它告诉我找不到gtk2hsC2hs请首先安装`gtk2hs-buildtools`并检查安装目录是否在你的PATH中(例如...

为Haskell安装gtk3(GHCJS)
Installing gtk3 for Haskell (GHCJS)

我正在尝试在Mac OSX(Yosemite)上安装GHCJS。 到目前为止,我已经更新了Alex和Happy并安装了gtk2hs-buildtools。 现在当我运行cabal安装ghcjs-dom时,我被告知我需要安装pkg -...

Parsec排列解析
Parsec permutation parsing

我编写了这样的排列解析示例:data Entry = Entry {first_name :: String,last_name :: String,date_of_birth :: Maybe String,nationality :: Maybe String,parentage :: ...

测试带负数的函数时输入错误
Type error when testing a function with a negative number

我跟着学习你一个Haskell非常好,我已经实现了':take'::(Ord i,Num i)=> i - > [a] - > [a] take'n _ | n <= 0 = []取'_ [] = []取'n(x:...

Haskell:对输入`='的解析错误
Haskell: parse error on input `='

我收到了这个错误,我不知道我做错了什么。 我是Haskell的新手,所以请为我详细说明一切。 import Data.Maybe data Op = Add | 子| Mul | Div | 并且| 或者| 不是| Eq | ...

cypher function :: [(Int,Char)] - > [String]
cypher function :: [(Int,Char)] -> [String]

我想要一个带签名:: [(Int,Char)] - > [String]的函数,它接受每个Char并根据相应对中的Integer值将它们组合成一个字符串列表...即。 [(...

haskell-persistent:如何在第二个表中使用外键作为主键
haskell-persistent: how to use a foreign key as primary key in a second table

更新 - 找到错误的根本原因 - 但不知道如何解决它我刚刚发现这种行为的根源不是由于使用sql = ...而是我使用了...的主键

在Haskell中生成素数
Generating primes in Haskell

通过Learn You A Haskell,我在过去的几天里一直在学习Haskell。 我一直试图完成一些项目欧拉问题,其中一些需要素数。 但是功能我......

Monad与顺序函数调用
Monad vs sequential function calls

关于monads的维基百科文章说:纯粹的功能程序可以使用monad来构建程序,其中包括结构化编程中的顺序操作。 没有在看 ...

模式匹配推断类型
Pattern matching inferred type

为什么不进行以下类型检查? _的类型被推断为Double。 { - #LANGUAGE ScopedTypeVariables,Rank2Types# - }模块Main(main)其中数据D a = D a main = let n = D(1 :: forall ...

Haskell输入列表 - 在列表上递归
Haskell input list - recursive on list

我希望用户给出列表的大小,然后在其他功能中使用该列表。 类似于divv x = [x..2] qsort :: [Int] - > [Int] qsort [] = [] qsort(x:xs)......

Haskell函数比较两个列表的项目
Haskell Function that Compares the Items of Two lists

我正在编写一个名为myElems的Haskell函数,它接受两个值列表,如果第一个列表中的所有值都在第二个列表中,则返回true。 例如,myElems“db”“abcd”应该返回true ...

递归模式匹配,输出问题
Recursion Pattern Matching, output issue

我试图使用模式匹配和递归来替换列表中的一些单词与其他单词。 模式匹配在所有情况下都不起作用,我的代码不会产生字符串列表......

例外:模式匹配失败Haskell
Exception : Pattern Matching failure Haskell

我正在尝试实现Haskell的标准单词功能。 我正在使用State Monad解决问题。 我的代码是:输入WorS =([String],String,String)words':: State WorS [String] words'= do ...

Haskell PostgreSQL简单的FromField
Haskell PostgreSQL Simple FromField

我在为自定义枚举数据类型定义FromField实例时遇到问题:data Role = Staff | 学生派生(Eq,Ord,Show)要在我的数据库中表示角色,我将使用整数0和1(更多...