haskell 相关问题

Haskell是一种函数式编程语言,具有强大的静态类型,惰性求值,广泛的并行性和并发支持以及独特的抽象功能。

Haskell / Clash 函数类型签名中不熟悉的语法

在尝试了解 Clash.Prelude 中 withClockResetEnable 函数的用法时,我发现该函数的签名如下: 带时钟重置启用 :: 福罗尔·多姆河。已知域 dom...

回答 1 投票 0

foldM 与 monad 状态不进行类型检查

有关 FoldM 的现有问题(例如此处和此处)并未解决 State monad。 该文档没有指定示例,我什至无法编译一个简单的示例。 导入 Control.Monad.State.Lazy 导入

回答 1 投票 0

通过将字符串写入列表来检查字符串的相等性

练习 4 .编写一个函数,它接受一个字符串,如果该字符串返回 True 为“hello”,否则为 False。这可以通过指定每个 列表 patt 中字符串的元素...

回答 1 投票 0

通过将字符串写成列表来检查字符串的相等性[Haskell]

练习 4 .编写一个函数,它接受一个字符串,如果该字符串返回 True 为“hello”,否则为 False。这可以通过指定每个 列表 patt 中字符串的元素...

回答 1 投票 0

Haskell - 无法将类型“GHC.IsList.Item Char”与“Char”匹配

我有一个填充字符串的函数 pad :: Int -> String -> String 我正在尝试将其转换为我构建的实现 GHC.IsList 的流类型,这不起作用,我正在...

回答 1 投票 0

为什么我的 Runge-Kutta 实现会振荡到 0?

我已经在 Haskell 中实现了 Runge-Kutta。然而,当在位置为 (0, 0, -10) 且速度为 (0, 0, 0) 的物体上运行时,它会非常快速地来回振荡,直到 达到一个位置...

回答 1 投票 0

比较 Haskell 中的大数以通过快速检查

我制作了一个函数,使用 n 个梯形的梯形规则计算某个函数 g 从 a 到 b 的定积分。 即定积分 (-4) 5 (\x -> x) 5 = 4.

回答 1 投票 0

如何在 TCP 服务器中获得所需的行为?

导入网络.Socket 导入Control.Monad 进口网络 导入系统环境(getArgs) 导入系统.IO 导入控制.并发 (forkIO) 主要::IO() 主要 = withSocketsDo $ 做 putStrL...

回答 1 投票 0

如何在Haskell中编写排除某个输入参数的案例

在 Haskell 中我该怎么写: 函数 :: (Int,Int) .... 函数 Not(0,0) 其他参数 = [] 即我有一个函数,除了第一个参数之外,我想为每种情况返回一个空列表......

回答 1 投票 0

为什么 Haskell PVP 将新函数描述为非破坏性?

假设我有以下代码 模块 A 其中 x :: 整数 x = 5 模块主要在哪里 导入A 导入库 主要::IO() 主要 = 打印 (x + y) 以及在外部库中 模块库...

回答 1 投票 0

如何在Haskell中正确使用toLower?

我最近开始学习Haskell,想将一些东西转换为小写。我查找了“toLower”函数,但它似乎不起作用。 前奏>导入Data.Text 前奏数据.文本...

回答 2 投票 0

如何在 Haskell 中编写通知服务器?

我试图更好地理解通知在 Linux 上的工作原理,然后我尝试了 dbus 库,在经历了一些愚蠢的错误之后,我成功地编写了一个玩具“客户端”,当

回答 1 投票 0

如何创建 a{sv} 类型的值以通过 DBus 调用 org.freedesktop.Notifications.Notify?

我正在尝试使用 DBus 来理解桌面通知规范。 在后一个链接中,我读到方法 Notify 有这个签名 UINT32 org.freedesktop.Notifica...

回答 1 投票 0

如何在 Haskell 中使深度优先搜索函数变懒?

资源 https://www.youtube.com/watch?v=PMMc4VsIacU 给出了 DFS 的迭代算法,我主要将其转移到 Haskell,它返回访问的顺序以供以后访问,其中...

回答 1 投票 0

每个镜头都是一次穿越……怎么样?

Control.Lens.Tutorial 说: 输入 Traversal' a b = forall f 。应用 f => (b -> f b) -> (a -> f a) 输入 Lens' a b = forall f 。函子 f => (b -> f b) -> (a ->...

回答 2 投票 0

Haskell Servant POST FormUrlEncoded(矢量字符串)字段

我有一个数据类型 数据读取=读取 { 标题:: 字符串 ,作者 :: 向量字符串 , 开始日期:: 天 , 结束日期:: 也许有一天 } 导出(Eq、Show、Generic、FromRow、...) 我想要...

回答 1 投票 0

TemplateHaskell 的 addDependentFile 当文件不存在时不起作用

我希望在依赖文件更改时重新编译 TemplateHaskell 表达式,并且如果它不存在,请使用后备文件。但是一旦创建了依赖文件,我也想重新编译。

回答 1 投票 0

如何将Web.Scotty流与ResourceT一起使用?

自 2013 年开始接触 Haskell 以来,我正在编写一个小型 Web.Scotty 服务来管理 S3 存储桶(使用 Amazonka-2.0)。 Web.Scotty 部分和 Amazonka 非常清楚,但我不知道如何制作它

回答 2 投票 0

需要帮助解决我的 Haskell 代码中关于调车场算法的问题

我正在学习Haskell,我正在尝试实现非常基本的调车场算法来读取非常基本的数学表达式。例如A+B-C*D。 这是我当前的算法:

回答 1 投票 0

如果我显式启用 DerivingStrategies,Cabal 与 GHC 不同,为什么不会自动启用 GeneralizedNewtypeDeriving?

(第一次玩这些东西。) 从文档中我倾向于认为,如果我启用 DerivingStrategies 扩展,我不需要启用 GeneralizedNewtypeDeriving 或

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.