【发布时间】：2018-06-14 12:06:26
【问题描述】：
我有兴趣在 PureScript 中实现类似 Freer Monads, more Extensible Effects 的东西，但使用行而不是开放联合（我想这是可能的）。
但是，没有foreign import，我无法定义一种类型。我希望能够做类似的事情：
kind X
data Y :: # X -> Type -> Type
data Z :: X
这是我能做的还是我应该寻找其他方法？
【问题讨论】：
-
我不明白
Log类型的本意。 -
它表示记录字符串的效果，稍后将由处理程序给出对此的解释（例如，将所述字符串记录到IO或将其附加到文件）。
-
如果要将
Log保留在类型行中，则其中不能包含字符串。 PureScript 不是依赖类型的，因此类型不能嵌入值。 -
好吧，但我怎么说
Z是一种X？ （现在将Log编辑为Z） -
你说
data Z :: X
标签： purescript