在下面的模块中,函数g编译时没有注释,但函数f给出消息“that not match type",并解释为(err ::Exception | e)不匹配()。但是,throwException和toISOString都会在Eff中返回一个具有异常效果(以及其他可能的效果)的值。看起来好像catchException没有移除f中的异常效果,但确实移除了g中的效果。实际上,f的推断类型是:
f :: fora
XY问题arrayToList :: forall a. Array a -> List a
arrayToList = ???purescript-arrays和purescript-lists都没有定义这样的函数,这让我想知道在接收列表的函数的上下文中是否有一种处理数组的惯用方法。例如,返回一个需要转换为列表的数组(<em
我是PureScript的新手。我在Purescript中寻找封闭的课程,以了解如何实现这一点,但我认为我还没有必要的PS术语。在PureScript中,有一堆扩展了“基本”记录的记录,但是有一个和类型来表示这些记录的“密封”集合,这是一种规范的方式。area)
class Door(val name: String, val area: I