haskell

haskell

文章 25 浏览 89

使用 Arbitrary 类型类生成随机二叉搜索树

我正在研究一个问题集,我必须为二叉搜索树编写任意实例。这是我到目前为止编写的代码: data Tree e = E | N (Tree e) e (Tree e) insert :: (Ord e)…

美人迟暮 2025-01-11 20:35:40 0 0

将字符串转换为由每次运行中的字符及其重复次数组成的对列表

所以我需要将字符串列表转换为 [(Char,Int)]。例如, ["xxxxx","yyy"] 到 [('x',5), ('y',3)] 。我能够毫无问题地获取 ('x',5) 部分,但我不确定如何…

简单 2025-01-11 19:29:40 0 0

Doaitse Swierstra 的“Typing 动态类型”的最短实现在 OCaml 中

(我希望这个问题不是“基于意见”) 来自 Doaitse 的动态类型输入 Haskell 中的 Swierstra 大约有 200 行代码。在 OCaml 中做同样的事情似乎需要更多…

往日情怀 2025-01-11 18:18:03 0 0

访问节点列表

我目前正在为即将到来的考试而学习。 我们获得了一些用于准备和培训的功能。 如果恰好有 2 个节点具有相同的值,我想要一个给出 True 的函数。 鉴于:…

终弃我 2025-01-11 17:35:33 0 0

根据函数的类型确定函数的行为

Haskell 新手,如果这是非常基本的,那么很抱歉 这个示例取自“真实世界 Haskell” - ghci> :type fst fst :: (a, b) -> a 它们显示了 fst 函数的类型…

二智少女 2025-01-11 16:18:52 0 0

xmonad-contrib 提示:在特定工作区中执行终端提示?

我最近决定通过 Stack 从源代码构建 XMonad 来进行自定义配置。首先我要说的是我对 Haskell 没有太多的经验。 我的操作系统是 Linux - Arch。 设置 我…

北方的巷 2025-01-11 15:43:02 0 0

Haskell 如何“脱糖”? getline 在这个 do 块中?

我读过几本关于 Haskell 的书,但还没有编写太多代码,而且我对 Haskell 在某种情况下所做的事情有点困惑。假设我正在使用 getLine,以便用户可以按某…

混浊又暗下来 2025-01-11 14:52:01 0 0

maxTwo 实现 Haskell

给定一个整数列表xs,找到两个最大值并返回 它们成对(最大的在前)。应保留最大的重复项 (包含)在输出中。请勿修改原始列表。 这是我想出的,但它…

拍不死你 2025-01-11 14:22:35 0 0

尝试安装 cabal 时 ghcup 安装失败

当尝试从官方页面使用curl安装ghcup时,会抛出以下错误。 curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh 乌班图: Debug…

放低过去 2025-01-11 12:42:34 0 0

如何从 STDIN 读取 1 个字节?

如何从 STDIN 读取一个字节? 我尝试 在 Hoogle 上搜索 IO Word8 但有没什么用处。 我能找到的最接近的是 System.IO .getChar,但它读取的是 Char 而…

惯饮孤独 2025-01-11 10:36:26 0 0

augdentity Haskell 实现

注意:我不允许使用任何内置函数 给定正整数 r 和 c 表示行数和列数,创建一个 2D 列表,表示具有该维度的“增广单位矩阵”:它是 kxk 单位矩阵(其中…

撧情箌佬 2025-01-11 06:16:58 0 0

如何在 Haskell 中有效地字节交换二进制数据

下面的 byteswap 可以满足我的要求,但我担心它对于较大的二进制数据块来说效率低下。有没有高效的库函数或者我可以使用的东西? {-# LANGUAGE Overlo…

神妖 2025-01-11 03:32:47 0 0

如何更改“sr”安装 Facebook / Duckling 时的目录?

我正在使用 Facebook / Duckling 设置 Facebook / Duckling /facebook/duckling#quickstart" rel="nofollow noreferrer">快速入门: stack build stac…

魔法唧唧 2025-01-11 02:52:51 1 0

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

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

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

避免 WebSocket 库的多线程问题

WebSockets 库包含一个开放的 有关从多个线程发送消息的问题。 作为示例,我查看了 websocket-shootout,并注意到 接收数据。 void $ fork $ silentLo…

难如初 2025-01-11 01:13:21 1 0
更多

推荐作者

微信用户

文章 0 评论 0

小情绪

文章 0 评论 0

ゞ记忆︶ㄣ

文章 0 评论 0

笨死的猪

文章 0 评论 0

彭明超

文章 0 评论 0

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