On Tue, Jun 19, 2018 at 6:03 AM, Bart <b...@freeuk.com> wrote: > In the end I got rid of them to keep the language purer, smaller and > simpler. Other approaches which don't involve annotating source code (eg. > type inference) are better IMO.
Inference is great when it works. How do you assist a type inference engine, when it's unable to get all the information it needs? A type system has to either be imperfect, or be an entire executable programming language, or have additional information given to it. ChrisA -- https://mail.python.org/mailman/listinfo/python-list
