python - pyDatalog 中的静态类型：可能吗？

Question

例如，使用mypy库，可以指定一个函数输入一个字符串并输出一个字符串，如下所示：

def greeting(name: str) -> str:
    return 'Hello, {}'.format(name)

在 pyDatalog 中，可以一次定义（比如说）一个一元函数一个值，如下所示：

+(favoriteWords[0] == "cats")

有没有办法指定 favoriteWords 的参数必须是一个整数，并且输出必须是一个字符串？

Answer 1

不幸的是，pyDatalog 目前不支持这一点。