问题标签 [purescript]

我正在尝试将 mocha 绑定写入 PureScript 并且完全被Control.Monad.Eff

Describe 是一个不接受任何内容并返回 IO 或 Eff 或其他含义的函数（副作用发生没有返回值）。

到目前为止我的尝试

显然在这里遗漏了一些东西。请帮忙。

我正在将 History.js 中的绑定编写到 PureScript 中，但仍在努力理解 Eff monad、一排效果是什么以及它们为何有价值。现在我写了以下内容EasyFFI

稍后在代码中我有以下内容：

并得到以下错误

我尝试以各种方式操纵类型签名以尝试使其全部对齐，但我真的不明白出了什么问题。所以它只是在这一点上猜测。

所以以下工作

但这并不

在 psci 中，跟踪的类型是

节目的类型是

因为 show 的返回值是Prim.String并且第一个输入到 trace 是Prim.String它们应该是可组合的。trace $ show通过类型检查进一步证明了这一点。但是我得到了这个错误：

我在这里想念什么？现在我的心智模型trace很像putStrLnHaskell，而且绝对可以用show. (putStrLn . show) 5作品。

跟踪和显示组合结果的预期类型：

这不起作用：

未知值'w'

但这确实有效：

为什么？这对我来说没有意义。do（顺便说一句，我的单元测试中有嵌套块）

所以这是我在 PureScript 中使用 Applicatives 的愚蠢沙箱

以上工作正常，但如果我删除：

它不编译

但是(+)和(-)都是类型

为什么不能Number推断？

现实情况是，在学习 PureScript 并来自动态语言 (JavaScript) 时，我经常遇到类型错误。如果不掌握何时可以进行推理，何时不能进行推理，则培养诊断和理解这些错误的技能是一项挑战。否则我将不得不每次都编写类型以对我的代码充满信心（跛足）。

do 块是否有一行与多行，似乎影响该代码是否实际被调用。我错过了什么？

上面抛出以下错误：

我相信它是因为它期望第二个参数是 type Eff，但是由于第二个参数Maybe引入的使用head最终是 type Maybe。

问题是，我不知道如何解决这个问题。我不能有一个Maybe有效的代码块吗？

这编译

这不

出现以下错误：

为什么？

这执行：

但这不会：

但是两者都可以编译，并且据我所知，两者都意味着相同的基本内容。为什么会这样？我可以在这里使用应用语法吗（它更容易理解恕我直言）

这也有效

现在我有一个异步函数，它的工作原理如下：

但是这种回调样式是不可组合的（据我所知），我希望它像这样工作

或者

但我不知道如何摆脱回调并使其可组合。