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

Question

我有 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

也许还有其他方法。

Answer 1

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

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

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

Pass polymorphic record to foreign function