Статическая типизация в pyDatalog: возможно?

Question

Например, используя библиотеку mypy, можно указать, что функция вводит строку и выводит строку, например:

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

В pyDatalog можно определить (скажем) унарную функцию по одному значению за раз, например так:

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

Есть ли какой-то способ указать, что аргумент к favourWords должен быть одним целым числом, а вывод должен быть строкой?

Answer 1

К сожалению, в настоящее время это не поддерживается pyDatalog.