python - 如何在 Python 中优雅地表示无限 Haskell 递归数据结构？

Question

关于如何在 Python 中优雅地表示有限的 Haskell 递归数据结构？，我在想如何使用 Haskell FFI 在 Python 中表示来自 Haskell 的无限数据结构（其中没有任何非构造函数）。

不幸的是，我还没有从 leftaroundabout的这个很棒的答案（有限结构的 JSON 表示）中找到任何优雅的东西。

有没有类似优雅的方式来表示从 Haskell 到 Python 的无限数据结构？

Answer 1

我建议两条路线之一。

• 将一个不透明的指针传递给 Python。在 Haskell 中定义一个 API 用于观察和构造适当类型的事物，并通过 FFI 公开该 API。（我也在链接的问题上提出了这个建议......）
• 首先显式构造图，并将图结构传递给 Python。例如，您可以使用data-reify能够做到这一点，同时保留用于构造自定义类型和模式匹配的常用语法。