问题标签 [purescript]

如何在 Pure-Script 中加载外部 JavaScript 文件？

外部导入语句都内联了 javascript 代码，但我想从外部文件加载它们。

我正在学习 Purescript By Example 教程，但我无法使用左侧折叠来排列类型：

我收到的错误在左边，是

我相信这些类型是一致的，但我不能对这个错误做出正面或反面。

此外，是否可以清理匿名函数语法，以便

变成这样：

我在 Purescript 中玩 Reader monad，遇到了一个奇怪的行为。我不知道是因为我对这个单子缺乏理解还是我错过了其他东西。

这是我的代码：

这没关系，并且会编译。不过，在此之前，我在函数行中尝试了一些更简单的方法，如下所示：

而且它不会编译，尽管 (renderLine s level) 和 "Hello Reader monad" 具有相同的类型。它会给我这个错误：“没有找到 Control.Monad.Reader.Class.MonadReader u14555 的实例（Control.Monad.Reader.Trans.ReaderT Prim.Number Control.Monad.Identity.Identity）”

我确定我错过了一些东西，但我不知道是什么。

PureScript 中使用的类型系统的正确学术名称是什么？我正在寻找有关它的文件和证明它是合理的。

特别是，当人们想要抛出私有异常类型的实例并通过有效的计算将其传递给 catch 处理程序时，类型系统允许将异常作为隐藏的通信通道问题解决，而无需将类型暴露给计算和可能性在那里捕捉它，很高兴确认这是正确的。

在我的自定义 Halogen/Purescript 项目中，我遵循AJAX 示例中的模式，将我的操作分为 pure Inputs 和 effectful Requests。

我想更改我的事件处理程序以使用该preventDefault行为，但不明白这会对 UI 函数的类型产生什么影响。

我通过以下方式更改事件处理程序对 AJAX 示例进行了相同的更改：

前：

后：

（此处提供完整差异）

我最终遇到了这种类型的错误：

在这一点上，我是否需要调整 UI 函数的类型签名或者我preventDefault以错误的方式应用修饰符有点迷茫。

我在PureScript 程序中看到过这段代码，它有什么作用<<<？

是否默认编程也称为无点样式，例如http://en.wikipedia.org/wiki/Tacit_programming是 Purescript 中的一个选项吗？

阅读 Eff-Language 时，我想知道是否有类似的想法已经在使用。Eff-Language 提到了一篇名为“Inferring Algebraic Effects”的论文，它描述了 Eff 用来推断效果的算法。有相似之处吗？

我是 Purescript（以及 Haskell）的新手，我遇到了无法统一的错误。最初我有：

这给了我错误

我认为这是因为它期望 x 和 y 是 Maybe Record 类型。因此，明确地说，我将代码更改为按类型进行模式匹配。

现在我得到了错误

这指的是本节

在第二种情况下

我正在进一步研究

我正在使用可折叠的“foldl”。我不确定如何对空列表进行模式匹配。如果可以，我会将类型签名更改为

我现在得到错误

这是可以理解的，因为在

结果是类型列表结果 is_min_pos 期望可能结果

什么是解决这个问题的干净方法？

我仍在学习 Purescript 基础知识，我可以trace从main函数开始工作，但是如何在 psci 中使用它？这是我尝试但没有成功的方法，我无法真正理解为什么它不起作用。