ghc

ghc

文章 0 浏览 6

类型级别约束编码

因此,我有一个仅在类型级别使用的数据构造函数,其中包含 Nat。通常,如果我在类型级别传递它,并且我想将 Nat 反映到术语级别,我需要一个 KnownNat…

秉烛思 2025-01-14 20:51:00 8 0

在 Mac 上使用 ghcup 和 cabal 进行 ghc 编译时遇到问题(在路径中找不到已安装的软件包)

我在编译我的 Hakyll 站点时遇到问题(我知道它可以编译;问题是 ghc 找不到我通过 cabal 安装的模块(并且最近通过 ghcup 干净地安装了这两个模块)…

長街聽風 2025-01-14 04:40:20 6 0

为什么 Haskell 不能将 PosgreSQL 字符串分成字段?

我是 PostgreSQL 的新手。简单,所以如果问题很愚蠢,请原谅。 我正在阅读本教程: Postgresql 数据访问使用 Haskell 我得到了第一个可以运行的演示程…

深爱不及久伴 2025-01-13 01:57:00 4 0

在 Haskell 中序列化复杂的 AST

我正在使用 Haskell 中的一个库,它具有非常非常复杂的递归数据结构,代表 AST。它包含数十个不同的构造函数,有些具有简单的递归定义,有些具有相互…

今天小雨转甜 2025-01-12 14:31:01 4 0

为什么 GHC 找不到模块“Language.Java.Inline.Plugin”?

我正在尝试使用 I am importing inline-java in the extra-deps in stack.yaml 进行堆栈构建,如下所示: extra-deps: - inline-java-0.8.4@sha256:98…

﹏半生如梦愿梦如真 2025-01-12 12:23:07 5 0

如何编写 Monad 将计算链接在一起

我正在编写我的第一个 monad 实例,所以如果我遗漏了一些明显的东西,请原谅。 我想做这样的事情: readStuffFromDatabase >>= function1 >>= ... >>=…

他不在意 2025-01-11 02:03:01 5 0

在 Haskell 中,可变性是否总是必须反映在类型系统中?

我是 Haskell 的新手,所以如果这个问题很愚蠢,请原谅。 想象一下,我们有两个绑定到名称 x 和 y 的数据结构。 x 是可变的。 y 不是。 作为一个问题…

栩栩如生 2025-01-09 03:24:43 6 0

为什么不将输入和输出上具有相同数据结构(相同暗淡)的组合自递归函数与其他递归内联在一起?

在教程 https://markkarpov.com/ tutorial/ghc-optimization-and-fusion.html#fusion-without-rewrite-rules 是一个代码示例,不会通过 fusion 进行优…

夕色琉璃 2025-01-09 02:25:49 7 0

提取 Javascript 数字的指数和尾数

有没有一种相当快速的方法可以从 JavaScript 中的数字中提取指数和尾数? AFAIK 没有办法获取 Javascript 中数字后面的位,这让我觉得我正在研究因式…

我还不会笑 2025-01-07 13:55:36 5 0

如何防止控制台窗口在 ghc 应用程序中关闭?

当我使用 ghc 编译的 Windows 控制台应用程序即将结束时,控制台窗口立即关闭。有时这很好,但当我想从中读取一些文本输出时,这不是很好。所以,现在…

浅听莫相离 2025-01-06 18:43:15 6 0

加速runhaskell

我有一个小型测试框架。它执行一个循环,执行以下操作: 生成一个小型 Haskell 源文件。 使用runhaskell执行此操作。该程序生成各种磁盘文件。 处理刚…

水晶透心 2025-01-06 16:58:40 6 0

Haskell - GHC 中的编译问题

我对 Haskell 非常陌生,最近我用 GHC 安装了该平台。我决定通过编译一个简单的 Hello world 程序来测试它: main = putStrLn "Hello, world" 现在,…

是伱的 2025-01-06 00:16:34 6 0

尝试在 Haskell 中使用存在类型时出现编译错误

我收到如下错误消息: Linear.hs:215:27: Couldn't match expected type `forall v1. Ident v1 => SubstT v1 (GenericLL (a v1 c)) n x' with actual …

风吹雨成花 2025-01-05 17:27:20 11 0

Haskell 重写规则和函数组合

为什么 haskell 根据函数组合技术和长度需要多个重写规则?有办法避免这种情况吗? 例如,给定以下代码... {-# RULES "f/f" forall a. f ( f a ) = 4*…

暮色兮凉城 2025-01-05 05:23:34 8 0

Haskell 存在量化详解

我对类型的存在量化是什么以及它可以在哪里使用有一个大致的了解。然而,根据我迄今为止的经验,为了有效地使用这个概念,需要理解很多注意事项。 问…

在风中等你 2025-01-04 15:45:26 6 0
更多

推荐作者

眼泪淡了忧伤

文章 0 评论 0

corot39

文章 0 评论 0

守护在此方

文章 0 评论 0

github_3h15MP3i7

文章 0 评论 0

相思故

文章 0 评论 0

滥情空心

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文