我建议两条路线中的一条。

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

我认为自动激活提供了一个有趣的方式来创建一个递归的数据结构。

>>> class Tree(dict):
...     def __missing__(self, key):
...         value = self[key] = type(self)()
...         return value

>>> # Common names by class, order, genus, and type-species
>>> common_names = Tree()
>>> common_names['Mammalia']['Primates']['Homo']['H. sapiens'] = 'human being'
>>> common_names
{'Mammalia': {'Primates': {'Homo': {'H. sapiens': 'human being'}}}}

还有一种更紧凑的实现，使用defaultdict by Stephan

import collections

def Tree():
    return collections.defaultdict(Tree)