These are chat archives for evhub/coconut
I had previously thought mypy was the only static typechecking tool for Python. The Coconut tutorial made me aware that there are many others, including some that are built into Python. Now I'm worried that they might conflict. Do I need anything but mypy?
I posted a question to this effect on Stackoverflow.
Incompatible types in assignment (expression has type overloaded function, variable has type overloaded function)is a known issue (#405) which should be fixed on
pip install -U coconut-developto get the fix.
Woah, that's super interesting. Thanks!
I suppose ideally I would want to be able to express refinement types :D