弱参考终结者保证运行
Weak Reference Finalizer Guaranteed to Run

在GHC中弱指针和终结器的代价中,Edward Yang写道(强调增加):弱指针还可以选择性地与终结器相关联,终止器在对象被垃圾回收时运行...

在执行runhaskell时,在字符'\ DEL'处出现词法错误
lexical error at character '\DEL' when doing runhaskell

下面是我的代码:factorial :: Integer - > Integer factorial n = product [1..n] main = print(factorial 50)我没有收到任何错误编译,但是当我运行编译后的代码runhaskell测试时,我得到.. 。

Haskell等同于包含
Haskell equivalent to contains

基本上我试图扫描包含字符的单词的字符串,并计算发现具有该字符的单词的数量。 我只是想知道如果有一种方法来检查一个字是否包含...

GHC + wxHaskell在Windows上
GHC + wxHaskell on Windows

在Windows XP计算机上安装GHC 6.8.3和wxHaskell-0.10.3。 既安装为二进制分发版本,也不是从源代码构建。 使用以下命令构建示例:ghc --make Paint.hs ...

返回给定特定整数输入的字符串
Returning a string given a particular integer input

我试图学习Haskell,并试图编写一个简单的函数,我遇到了一个问题。 使用以下代码:squarenumber x = if x <10 then x ^ 2 ...

为什么使用GHC 7.10.2构建的可执行文件对librt和libc都有依赖关系?
Why executables built with GHC 7.10.2 have dependencies with both librt and libc?

根据https://docs.oracle.com/cd/E36784_01/html/E36873/librt-3lib.html历史上,该库中的函数提供了许多由POSIX.1b Realtime Extension指定的接口....

符号__module_registered错误的重复定义
Duplicate definition for symbol __module_registered error

我收到GHCi关于“符号__module_registered的重复定义”的错误消息,如下所示:GHCi运行时链接程序:致命错误:我找到符号的重复定义...

“堆栈构建”随机失败
"stack build" failed randomly

当我使用堆栈构建来构建一个包时,在安装相关包的过程中它会随机失败。 以下是一个示例错误消息:在构建包统计信息-0.13.3.0时使用:...

这些GHC选项如何进入我的堆栈构建?
How are these GHC options getting into my stack build?

在“stack build foo”结尾处我看到以下内容:进度:1/2 - 使用以下命令构建软件包foo-0.1.0.0:[path-to-GHC] --builddir = [path-to -stack-work-area] build lib:foo ...

如何使属于类型类的组件成为实例的元组
How to make a tuple with components belonging to a type class an instance

我有以下问题:我定义了一个类型类,并且想要将此类的元组声明为实例。 但我不知道如何让GHC接受这个声明。 这里非常...

指数默认为整数
Exponents defaulting to Integer

我使用(^)::(数字a,积分b)=> a - > b - >很多来定义常数因子或大小。 问题在于GHC抱怨Integer违约。 现在我知道为什么会发生这种事......而我......

重复评估IO行为中的纯表达
Repeated evaluation of pure expression in IO action

(a)执行一些IO,(b)构造查找表,并且(c)返回使用查找表的IO操作。 但是,当用-O编译时,GHC(版本6.12.1)内嵌了...

有人可以提供解决步骤来解决可能的包冲突吗?
Could someone offer troubleshooting steps for resolving a possible package conflict?

这是ghci在我尝试运行程序时抛出的错误。 > Loading package primitive-0.3.1 ...> GHCi运行时链接程序:致命错误:我找到符号> memset_off>的重复定义...

类型检查以as-pattern失败
Type check fails with as-pattern

我为我的自定义任何类型(称为Or)编写了一个Functor实例,它的工作原理如下所示:data或ab = First a | 第二个b导出(Eq,Show)实例Functor(或a)...

haskell - 用于TypeFamilies扩展的“where”语句中的代码的奇怪的模糊类型变量错误消息
haskell -- odd ambiguous type variable error message for code in "where" statement with TypeFamilies extension

有谁知道为什么这段代码失败了? { - #LANGUAGE NoMonomorphismRestriction,TypeFamilies# - } module test asExprTyp :: Exprγ=>γα - >α - >γαasExprTyp x ...

什么是Haskell中的嵌套模式?
What is a nested pattern in Haskell?

什么是Haskell中的“嵌套”模式。 我在任何地方都能听到这个词,但我不确定它的实际含义。 你如何定义它? 任何例子? 提前致谢。 编辑添加:(如引用在...

如何在Haskell中使用代理?
How to use a proxy in Haskell? (probably using a higher-rank types extension)

在过去的几个月中,我一直在认真学习Haskell - 之前,我是一个看似永恒的新手,对基础知识的掌握非常有限。 虽然试图把......

Acid-state:用于更新的MonadState实例
Acid-state: MonadState instance for Update

我在尝试酸性状态。 该文档指出Update st是MonadState st的一个实例。 我尝试了不同的东西,但我的编译器不想看到:(我尝试了HelloWorld.hs ...

GHC中的嵌套UNPACK
Nested UNPACKs in GHC

我经常在元组中收集多个值,因为我认为元组是这种自然类型。 然而,元组并不严格。 所以考虑数据A数据B = B!A数据C = C!(B,B)数据...

循环和递归展开
Loop and Recursion unrolling

如果0 <= t <= 15 W_t = ROTL_1(W_(t-3)XOR W_(t_8)XOR W_(t_14)XOR W_(t_16)),则W_t = M_t [i] t <= 79这是来自SHA-1标准。 在haskell中,你所要做的就是写...

Haskell解析输入错误`< - '
Haskell parse error on input `<-'

似乎无法在Haskell中正确排列(缩进)此代码。 获取错误:解析输入错误`< - '任何人都可以发现错误在哪里:evalListSplitAt n stratPref stratSuff [] = return [] ...

找不到安装模块的Pandoc'找不到模块...'
Pandoc 'Could not find module ...' for installed module

我目前正在尝试使用pandoc(作为Haskell模块,而不是程序)将MediaWiki文本转换为其他格式。 让我们假设这个程序:import Text.Pandoc.Readers.MediaWiki main = do ...

GHCi从不加载编译的文件
GHCi never loads compiled files

编写一个模块:module Foo where foo = 3.14编译它:ghc -c Foo.hs加载它:ghci -ignore-dot-ghci GHCi,版本7.8.3:http://www.haskell.org/ghc/:? 寻求帮助加载包ghc-prim ......

调用Haskell函数从Java返回String
Calling Haskell function returning String from Java

我想调用一个Haskell函数,该函数对文本进行操作并返回文本(实际上处理过程比较复杂,Haskell代码被拆分为几个模块,但这可能不是这种情况)。 ...

使用名义角色进行类型推断
Using Nominal Roles for Type Inference

我有一个幻像类型的新类型,但我很难轻松使用它。 考虑以下示例:import Data.Coerce newtype F ab = F b myzip ::(Num b)=> F ab - > F ab ...

GHC在cabal沙箱中找不到模块
GHC cannot find module in cabal sandbox

我在(X)Ubuntu 15.10上使用Haskell版本7.8.4,Cabal-Install 1.18都通过apt安装。 我没有试图在这台机器上手工安装任何与Haskell相关的东西。 我成立了一个......

递归函数依赖不起作用
Recursive functional dependency not working

我试图乘以幻象类型的单位数组(从维度),并且遇到函数依赖性问题。 这个问题的简化版本如下:我有...

有没有办法使用Djinn在Emacs中自动生成Haskell代码?
Is there a way to use Djinn to auto-generate Haskell code in Emacs?

标题几乎说明了一切。 我正在寻找这样的东西:f :: Int - > Bool - > Int f = _body Djinn可以使用定理证明为这样的函数生成代码,证明... ...

两个函数调用,但只显示一条曲线
Two function calls but only one trace displayed

使用GHC 8.0.2版本的以下程序:import Debug.Trace f = trace(“f被调用”)$(+ 1)main = do print $ f 1 print $ f 2输出:f被调用2 3它是预期的行为? ...

静态链接二进制中缺少调试符号
Missing debug symbols in statically linked binary

我使用堆栈构建静态链接二进制文件,并尝试向其添加调试符号(以下内容:https://downloads.haskell.org/~ghc/master/users-guide/debug-info.html)。 但是GDB报告:不...

Haskell中PETSc FFI的库设计
library design of PETSc FFI in Haskell

我想通过一个FFI接口使Haskell中的PETSc库(的一个子集)可用,以便隐藏用户的内存和错误管理; 建立PETSc 3.5.3共享...

GHC语言扩展的源代码在哪里:“箭头”?
Where is the source code of GHC's language extension: "Arrows"?

我在哪里可以找到隐藏在语言编译指示后面的源代码{ - #LANGUAGE Arrows# - }我已经阅读了相应的论文(如Paterson,一种新的箭头符号),所以理论上...

如何导入Yesod中的莎士比亚模板?
How to import Shakespearean Templates in Yesod?

我在Yesod中使用QuasiQuotations,并且一切正常。 但我的文件变得非常大,不好看。 另外,我的TextEditor不会正确地突出显示此语法。 这就是为什么...

如何在不使用-XUndecidableInstances的情况下绕过功能依赖的覆盖条件
How to get around the Coverage Condition for Functional Dependencies without using -XUndecidableInstances

温使用函数依赖关系,我经常碰到覆盖条件。 可以用UndecidableInstances解除它,但是我通常尽量远离那个扩展。 这里有一个 ...

Haskell计算Ackermann 4 1的速度很慢?
Haskell slow to compute Ackermann 4 1?

这是7个月前的一个老问题,当堆栈溢出者同意Haskell计算Ackermann函数的低效率是由于编译器错误。 阿克曼效率很低

理解一个Haskell类型歧义的例子
Understanding a case of Haskell Type-Ambiguity

我编写了一个Haskell程序,并得到了一个我不明白的编译错误。 该程序应该:获取命令行参数将标记化参数连接回单个字符串将字符串读入...

Haskell:加载当前目录路径中的所有文件
Haskell : loading ALL files in current directory path

命令(在GHCi中):load abc加载文件abc中的函数(必须存在于当前目录路径中)。 我将如何加载当前目录路径中的所有文件? 谢谢 - - - - - -...

隐式参数是GHC内联困难吗?
Are implicit parameters a difficulty for inlining in GHC?

我对Kiselyov和Shan的函数珍珠:隐式配置文章中讨论的隐式参数的反对感到好奇。 在...中嵌入代码(β-reduce)并不健全。

什么是GHC Haskell的unboxed值,我们应该什么时候使用它们?
What is an unboxed value in GHC Haskell and when should we use them?

GHC Haskell公开了prim包,其中包含取消装箱值的定义,如Int#,Char#等。它们与常规Haskell中的默认Int,Char等类型有何不同? 一个......

从GHC分析器中获得意义
Making sense from GHC profiler

我试图从GHC分析器中弄清楚。 有一个相当简单的应用程序,它使用werq和lens-aeson库,在了解GHC分析的同时,我决定玩一下它。 使用...

使用GHC在Haskell中不能从.hs输出到.hc
Can't output from .hs to .hc with GHC in Haskell

当我听说GHC可以向C输出文件时,我很感兴趣。 格拉斯哥Haskell编译器(GHC)在许多不同的体系结构上编译为本地代码 - 以及ANSI C--使用C--作为...

重叠模式匹配
Overlapping pattern matches

我有以下代码:test :: String - > Bool test“g”= True test“global”= True test _ = False当我将它加载到GHCi(7.0.3)时,我得到:警告:模式匹配)重叠...

放弃n元功能
Uncurry for n-ary functions

我有一个类型级数字数据Z派生类型化数据S n导出类型化和n元功能(代码来自固定向量包) 为n元功能键入家庭。 类型家庭Fn nab ...

基于排序的条件编译
Conditionally-compiling based on endianness

我正在阅读字节数组中的单词,并且需要让我的代码的部分代码能够识别。 GHC是否会公开任何(如MachDeps.h),我可以使用它来使代码在处理器的字节顺序上有条件? 如果不 ...

GHC REWRITE编译指示必须保存类型吗?
Do GHC REWRITE pragmas have to be type preserving?

import Data.Void(Void,absurd)说我有一个小术语:数据Term cv其中Var :: v - > Term cv Con :: c - > [Term cv] - > Term cv如果我想合并术语...

为什么管道定义内部功能
why pipes defines inner functions

我正在查看管道库源代码,例如在核心模块中,我不明白为什么作者遍布在使用定义这样的函数的模式的地方:runEffect = ...

为什么不将堆栈添加到ghc包数据库?
Why doesn't stack add packages to the ghc package database?

我决定尝试给堆叠一枪。 我已经安装并使用它来安装最新版本的ghc。 我已经使用堆栈来安装一些软件包,但软件包对ghc不可见,当我...

Haskell2010在ghc中隐含了哪些语言扩展?
Which langugage extensions are implied by Haskell2010 in ghc?

我不知道为什么我很难找到这个文档,但哪些扩展是隐含的:{ - #LANGUAGE Haskell2010# - }我主要只关心ghc如何处理这个问题,但我认为...

GHC说“数字”需要一个Int,当它需要一个Integral时
GHC says "digits" needs an Int, when it needs an Integral

据我所见,这段代码应该编译时没有问题:import Data.Digits(digits) - |将整数转换为指定字符集的任意碱基 - base / radix是charset字符串...

TypeLits或Singletons:在运行时将`Integer`提升为`KnownNat`(`Nat`)
TypeLits or Singletons: Promoting an `Integer` to `KnownNat` (`Nat`) at Runtime

在运行时,我发现有两种方法可以使用TypeLits和Proxy(Data.Proxy和GHC.TypeLits)或Singletons(Data ..)来将整数提升为Nat(或KnownNat,我还没有得到区分)。 ..
1 2 3 4 5 6 7 12 13