Static typing in pyDatalog: Possible?

Question

For instance, using the mypy library, one can specify that a function inputs a string and outputs a string, like this:

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

In pyDatalog, one can define (say) a unary function a single value at a time, like this:

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

Is there some way to specify that the argument to favoriteWords must be a single integer, and the output must be a string?

score 1 · Answer 1 · answered Mar 08 '18 at 16:52

1

Unfortunately, this is currently not supported by pyDatalog.

answered Mar 08 '18 at 16:52

I suspect you're the guy who maintains pydatalog, given that you answered 11 of the 20 questions about it -- but is there a way I could be more sure? – Jeffrey Benjamin Brown Mar 08 '18 at 17:52
This is correct, although I have not contributed to pyDatalog for a while now. – Pierre Carbonnelle Mar 09 '18 at 18:47

1 Answers1