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

Question

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

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

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

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

是否有某种方法可以指定favoriteWords的参数必须是单个整数，并且输出必须是字符串？

Answer 1

不幸的是，pyDatalog目前不支持此功能。