I think it would be good to use mypy but it will be a lot of work just to get working on a small part of the codebase because so much of SymPy is inconsistent about types right now. Ultimately it's not just a case of "using mypy" but actually fixing the inconsistencies which is a big task. Perhaps this could be suggested as an idea for a GSOC proposal...
On Sun, 22 Dec 2019 at 16:16, Francesco Bonazzi <[email protected]> wrote: > > Python 3.4 adds support for singledispatch > Python 3.5 adds support for typing: > https://docs.python.org/3.5/library/typing.html > Add mypy to Travis tests. > > The typing module adds support for type annotations of various kinds to > Python. Using mypy in Travis would enforce type-checking. > > Type declarations would be beneficial to: > > analyze the code and find potential bugs > serve as a first step before translating the code to C++ > > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/c7640d2a-802a-4ec9-890f-66a18d202395%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAHVvXxTH0JiGDmemOmC-nEFzJTKdPkkAC5d06rRVQydg%3DgyZtg%40mail.gmail.com.
