将多态记录传递给外部函数

如何解决将多态记录传递给外部函数

我有 R1 和 R2 记录类型，我需要将 R1 或 R2 传递给外部函数（它可以处理 r1 或 r2 记录结构）是否有可能做到这一点（我想可能是通过转换为外来对象）？

或者我是否需要声明两个不同的外部导入（使用不同的类型签名来传递 R1 和 R2）指向同一个 js 函数？

我发现使用 unsafeCoerce 进行类型转换的另一种方法：

foreign import data R1orR2 ∷ Type

fromr1 :: R1 -> R1orR2
fromr1 = unsafeCoerce

fromr2 :: R2 -> R1orR2
fromr2 = unsafeCoerce

所以也许还有其他一些方法。

解决方法

在编写 FFI 绑定时，unsafeCoerce 非常好：毕竟，foreign import 已经具有所有相同的缺点，因此您并没有真正失去任何东西。

是的，您想出的 - R1orR2 - 是在 FFI 绑定中经常使用的正确方法。

您可能还想查看 undefined-is-not-a-problem 和 untagged-union 库。他们在这方面提供了一些更高级和更通用的技术。