ghc

GHC 截断 Unicode 字符输出

我无法让 GHCi 或 GHC 打印 unicode 代码点 221A 平方符号我不认为这是我的外壳因为我可以让 ruby 来做 irb gt puts u221A GHC GHCi 是另一个问题 ghci gt putStrLn 87

Unicode Haskell ghc

有什么理由不对函数使用 INLINABLE pragma 吗？

The 文档 http www haskell org ghc docs latest html users guide pragmas html states 函数 f 上的 INLINABLE f 编译指示具有以下行为 INLINE 表

Haskell inline ghc pragma

Haskell：打印文本编码

Haskell 新手在这里 ghc version The Glorious Glasgow Haskell Compilation System version 6 12 1 在尝试调试第三方 Haskell 程序中与区域设置相关的奇怪错

Haskell Localization locale ghc

我可以在程序内更改堆栈大小限制吗？

我可以通过传递配置 GHC 编译的 Haskell 程序的最大堆栈大小 RTS Kn到它在哪里n是某个数字有没有办法在程序内更改此设置我想对各种函数的堆栈消耗进行基准测试因此尝试在各种限制下运行它捕获StackOverflow例外

Haskell stack ghc

在类型级别未定义

通常当我使用 Haskell 代码时我会使用类型注释将内容存根并undefined foo String gt Int foo undefined 是否有类型级别的未定义我可以以类似的方式使用理想情况下与某种注释结合使用 typ

Haskell types undefined ghc typekinds

加快 GHC 中的编译速度

除了 O0 这可以加快编译时间吗如果生成的程序未被优化也没关系实际上我只想经常快速地对大型 haskell 包进行类型检查 Flag fno code极大地加快了编译速度但无法使用它因为该程序使用了 TemplateHaskell

Haskell ghc compilationtime

动态加载编译的 Haskell 模块 - GHC 7.6

我正在尝试使用 GHC API 动态编译和加载 Haskell 模块我知道 API 从一个版本到另一个版本波动很大所以我专门谈论 GHC 7 6 我尝试在 MacOS 和 Linux 上运行相同的代码在这两种情况下插件模块都可以正常

Haskell ghc ghcapi

有没有办法在 Emacs 中使用 Djinn 自动生成 Haskell 代码？

标题几乎说明了一切我正在寻找这样的东西 f Int gt Bool gt Int f body Djinn 可以使用定理证明来通过证明该类型存在来生成此类函数的代码我想知道是否有现有的方法可以从 Emacs 中获取此功能因此我不需

Haskell emacs ghc theoremproving ghcmod

谁能解释一下 GHC 对 IO 的定义吗？

标题非常自我描述但有一个部分引起了我的注意 newtype IO a IO State RealWorld gt State RealWorld a 剥离newtype 我们得到 State RealWorld gt State Real

Haskell IO ghc

如何在 TH 拼接中复制 'name 的行为

考虑这个 Haskell 文件 LANGUAGE TemplateHaskell OPTIONS GHC fplugin Test Inspection Plugin module Text main where import Test I

Haskell ghc templatehaskell

为什么 GeneralizedNewtypeDeriving 没有安全的 Haskell？

来自 GHC 手册第安全语言 http www haskell org ghc docs 7 6 2 html users guide safe haskell html safe language 模块边界控制使用安全语言编译的 Ha

Haskell ghc languageextension

我是否应该使用 GHC Haskell 扩展？

当我学习 Haskell 时我发现有很多语言扩展 http haskell org ghc docs latest html users guide ghc language features html在现实生活中使用的代码作为初学者

Haskell ghc

Pandoc“无法找到已安装模块的模块...”

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

Haskell ghc cabal Pandoc

浏览前奏的源代码会带来奇怪的情况

我一直在寻找的定义seq并遇到了这个奇怪的事情为什么所有这些函数都有相同相似的定义 seq a gt b gt b seq let x x in x inline a gt a inline let x x in x lazy a gt

Haskell ghc standardlibrary

如何在 Haskell 中使 CAF 不是 CAF？

如何将常量应用形式变成而不是常量应用形式以阻止它在程序的生命周期中保留我尝试过这种方法 Dummy parameter to avoid creating a CAF twoTrues gt Bool twoTrues map Tru

Haskell ghc compileroptimization

迭代打印列表中的每个整数

假设我有一个整数列表l 1 2 我想打印到stdout Doing print l产生 1 2 假设我想打印不带大括号的列表 map print l产生 No instance for Show IO arising from a use

Haskell ghc ghci

带有 RankNTypes 扩展的奇怪类型推断

我正在尝试在 Haskell 中尝试 System F 类型并通过以下方式实现了自然数的 Church 编码type 当加载这段代码时 OPTIONS GHC Wall LANGUAGE RankNTypes type CNat fora

Haskell ghc

Haskell 标准库是什么？

GHC专用库可以称为标准库吗或者只有 Haskell 2010 报告中的那些才算数许多 GHC 库可以通过 Haskell 报告中的函数来实现可能与 C 绑定相结合但其他语言依赖于 GHC 特定的扩展因为语言报告中定义的当前 Ha

Haskell ghc

Haskell / GHC - 是否有“警告不完整模式”的中缀标签/编译指示

我正在寻找一个可以对特定的不完整模式发出警告的编译指示它会使编译器失败并显示以下假设的代码 FAILIF incomplete patterns f Int gt Int f 0 0 我正在尝试使用 Arrows 编写一个编译器并

Haskell patternmatching ghc

搜索重写规则

有什么办法可以浏览或搜索重写规则吗当我使用像这样的标志时 ddump rule firings or ddump rule rewrites我只是得到了触发的规则的名称以及它引起的重写但没有得到实际的规则本身理想情况下我想通过 GH

Haskell ghc