purescript

0热度

1回答

我对ML中的行多态性的理解是我们可以访问函数中的行变量。 fun f {x : real, y : real, R} = {x = 2 * x, y = 2 * y, R}; => (* f : {x : real, y : real, _ : ..a} -> {x : real, y : real, _ : ..a} *) f {x = 2.0, y = 3.0, z = 4.0}; =

0热度

1回答

括号更改代码执行

我正在尝试attempt和Aff计算。请看下面的代码： result <- pool # withPool \connection -> do execute_ ("insert into user (email, password) values ('" <> unwrap userInfo.email <> "', '" <> unwrap userInfo

1热度

1回答

翻转功能是做什么的？

我是purescript的新手。这是我正在学习的书Leanpub-purescript。我不明白什么是翻转功能。这与交换概念相似吗？ > :type flip forall a b c. (a -> b -> c) -> b -> a -> c 这意味着a value goes to b, then b to a, then c is itself??。我对此感到震惊。请解释翻页概念，如果我

7热度

1回答

Forall notation：期间/点是什么意思？

周期/点是什么意思？ forall a. Num a => a -> a -> a 是它只是一个分隔符？

0热度

1回答

如何在purescript中使用spawn/exec继续monad变换器？

我想使用spawn在Node.ChildProcess执行一个命令，但我不知道如何挂钩产生的命令和应用程序的其余部分的功能spawn。我有一个模糊的想法，我需要使用ContT来连接错误和成功回调，并且无法将数据管道视为单个程序。这是我尝试写程序 - 等待一个请求（假设为HTTP服务器）根据要求，写东西到一个文件消防终端命令从终端命令收集输出发送响应

0热度

1回答

如何在我的foldMap中使用foldrDefault和foldlDefault？

我试图从Phil Freeman的PureScript书的第6.7节完成练习5。练习要我为以下类型编写一个Foldable实例。 data NonEmpty a = NonEmpty a (Array a) 我已经写了这个实例，通过执行foldMap。 instance foldableNonEmpty :: Foldable a => Foldable NonEmpty where

0热度

2回答

如何为PureScript找到适当的函数？

PureScript有许多可用的功能，如过滤器等等。但是，我们如何才能找到我们需要的功能及其实施示例？我正在通过实例面对purescript解决问题的练习。任何提示如何表明我去解决这些问题？书中的例子并不能解释每一个细节。

0热度

1回答

如何创建无状态和静态卤素组件？

考虑从github，https://github.com/slamdata/purescript-halogen/blob/master/examples/basic/src/Button.purs#L42这个片段，它试图呈现一个HTML按钮使用卤素库。 render :: State -> H.ComponentHTML Query render state = let

4热度

1回答

态的类型与purescript桥

我型哈斯克尔 newtype Uid a = Uid {uidToText :: Text} deriving (Eq, Ord, Show, Data, Typeable, Generic) 使用purescript-bridge库mkSumType功能，我不能利用它SumType。现在我有 clientTypes :: [SumType 'Haskell] clientType

1热度

1回答

无限型由于推断为图案可变

使用图案可变名称的整个情况下表达使其正确地编译和错误“无限类型推断为表达式”之间的差异。下面正确编译： m = case Left "anything" of [email protected](Left err) -> Left err (Right f) -> case lookup "key" f of Nothing -> Left "something el