我有一个简单的类，在Haskell/PureScript中有一个Int和[]/Array的实例： HS： class C c where f :: c -> c t4 could not be
浏览 26提问于2021-01-29得票数 2
我有两个我认为是等价的类型类和实例定义的实现。PureScript版本构建时没有错误，但是Haskell版本在错误Un-determined variables: e, f中失败。我能在Haskell做这件事吗？Haskell:newtype Bar a b = Bar (a, b)
instance (Foo a c e, Foo b d f
浏览 3提问于2021-11-03得票数 4
回答已采纳
有没有等同于Haskell的>>运算符的PureScript标准库？ class Monad m where(>>) :: m a -> m b -> m b
...
浏览 19提问于2020-05-02得票数 2
回答已采纳
我对Haskell/Purescript非常陌生，目前通过学习来学习。在关于类型类的中，有以下任务：
扩展的数据a=有限的a_x无穷大在检查表达式#dict时，在值声明中具有{ Eq :：Extendeda0
浏览 0提问于2020-11-14得票数 0
回答已采纳
1回答
我在Purescript上玩“读本”( Reader monad )，我遇到了一种奇怪的行为。我不知道是因为我对这个单子缺乏理解，还是因为我错过了别的东西。不过，在此之前，我在我的函数行中尝试了一些更简单的方法，如：line s = do return "Hello Readermonad"
而且它不会编译，尽管(renderLine的级别)和“”有相同的类型。Cont
浏览 0提问于2015-03-17得票数 2
回答已采纳
1回答
和之间的关系是什么？他们之间有可能相互转换吗？
我刚从Haskell的Purescript开始，这两种类型似乎都大致服务于IO在Haskell中的角色。这么说公平吗？
浏览 1提问于2016-06-06得票数 34
回答已采纳
当我在玩PureScript时，我发现我想要编写一个类型化的Sync，它将等待在Aff monad中解析任意的异步值。来自Haskell，这对我来说很有意义--它反映了我需要启用FlexibleInstances扩展( PureScript似乎也不支持)的情况--但我想知道我是否能实现我想要的泛型。我想也许我可以调整我的Sync类，然后创建一个newtype。，原因与我在一开始遇到的类似。或者，这类事情目前在PureScrip
浏览 4提问于2016-05-14得票数 0
回答已采纳
我想在程序代码中使用PureScript从它生成JavaScript文本。例如，我使用Julius (来自Yesod)直接插入一个javascript。我想使用相同的PureScript .Maybe，有这样的解决方案或库吗？谢谢!
浏览 32提问于2017-12-25得票数 2
回答已采纳
据我所知，在以前版本的Arrow是一个应用程序类型的实例。在当前版本1.0.x中，大多数类型类不再存在/可见(我想是为了使库更容易访问？)。有一些很好的解释说明了为什么错误累积验证数据类型不能是Monad，例如和以及或。验证的当前实现中，我看不到应用程序函子实例的一个实例。/Purescript：
Person <$> validateName fi
浏览 13提问于2022-04-12得票数 1
回答已采纳
1回答
我一直试图使用秩-2类型在PureScript中编码GADT，正如Haskell的描述的那样data Z = Nil (Z -map f (Cons x xs k) = Cons x xs (f <<< k)
编译器抱怨Wrong number of arguments to constructor Main.Cons，引用函子实例中的
浏览 0提问于2015-07-23得票数 3
回答已采纳
1回答
我有我的自定义类型NonEmptyList的包装器类型Cell show = ...type CellsRow = NonEmptyList Cellinstance Show CellsRow where
show = foldMap我可以通过创建CellsRow新类型来解决这个问题，但是我可以同时使用Show实例和简单的type CellsRow = NonEmptyLis
浏览 3提问于2022-06-06得票数 1
回答已采纳
3回答
在面向对象的语言(例如Java和Python)中，我们可以从类中生成对象/实例。在Haskell中，我们可以从类型类中创建实例，例如： S == S =
浏览 4提问于2017-07-03得票数 20
回答已采纳
我正在尝试理解Haskell中的类型系统是如何工作的。为什么'myshow 1‘在没有类型的情况下工作，而'myShow 2’在没有显式类型的情况下导致错误： putStrLn $ myShow 2 }*Main> myShow 2
"2"
浏览 0提问于2012-08-29得票数 2
回答已采纳
我有一个榆树应用程序的设计与榆树架构在脑海中。我已经将它用于本教程中的所有示例，它们工作得很好。它处理他们的演示和定位。您可以将其看作是MDI表面。我有三个主要问题。其中两个是
如何创建组件，使Container可以包含传入的任何其他元素，例如init、update和view函数，并期望所有东西都能正确连接？目前，我的观点有点硬编码。他们很清楚孩子是谁。
浏览 0提问于2016-01-18得票数 5
回答已采纳
在Haskell中，我习惯于做这样的事情。String }
mFoo foo bar = Foo <$> foo <*> bar 然而，这在purescript中不起作用。有没有办法实现同样的结果，即在构建实例时保留记录语法，同时允许通过应用函数器进行部分应用？ 谢谢!
浏览 20提问于2020-06-20得票数 2
回答已采纳
目前，我正在与Hutton教授的“Haskell编程”一起学习Haskell，我发现了一些奇怪的东西，可能是类应用实例的定义。在GHC.Base中，实例Applicative Maybe定义如下： pure = Just
Just f <*> mNothing是Maybe a类型，操作符<*>实际上需要f (a -> b) (在
浏览 1提问于2018-08-13得票数 5
回答已采纳
我现在正在与PureScript合作一个项目，并遇到了一些实例(我是一个新手，并且正在学习)。基本上，我必须创建一个实例，以重载具有不同类型的函数。据我所知，这可以使用类型类来编写。据我所知，没有必要有一个实例的名称，因为编译器会自动计算出来。我甚至出于好奇对它进行了测试，它适用于我给它取的任何名字。
那么，为什么PureScript中的类型类实例有名称呢？
浏览 2提问于2018-01-08得票数 3
回答已采纳
我试图从Haskell服务器上获取一些JSON数据，但是Respondeable实例以及普通的Affjax实例都有问题。它给出了错误“无法匹配类型为Json的外部类型”，但是是否可以重用我的decodeJson实例而不必手工创建任何其他东西？也许通过创建一个IsForeign实例，但是在其中使用GA.decodeJson呢？我只是不知道该怎么做。我已经看到了手工在中是如何实现的，但是我有一些复杂的类型需要与我的<em
浏览 6提问于2017-03-21得票数 2
回答已采纳
在Haskell中，我通常会使用前奏函数来处理这类事情。在PureScript中，我(天真地)希望能够通过抛出异常和(不安全)丢弃效果类型来模拟error，如下所示：importString -> Effect a但是这是行不通的:如果我将对error的调用嵌入到一个大型程序中，那么我最终得到的是具有unde
浏览 3提问于2020-05-15得票数 3
回答已采纳
PureScript手册将练习定义如下：
什么是新类型的？它是用来做什么的？为什么它在这里起作用，而不是打字？
浏览 4提问于2022-04-09得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
