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

Question

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

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

在pyDatalog中，可以定义(比方说)一元函数，一次只能定义一个值，如下所示：

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

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

Answer 1

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