purescript-veither:功能类似于Either但可扩展的Variant

纯脚本 为什么？ 因为Either强迫您使用一种error类型 Either都这样定义（并且经常使用）： data Either errorType valueType = Left errorType | Right valueType 但是，它是不可扩展的。 errorType必须始终相同。 当人们以单调方式使用Either时，这可能会很烦人： foo :: Either SameErrorType foo = do a <- stringOrFailWithErrorType1 b <- stringOrFailWithErrorType2 -- uh-oh! Compiler error! pure $ doSomethingWith a b 解决此问题的一种方法是使用嵌套的Either类型（例如 ），但这是以额外的“装箱”层为代价的： imp