On 20 March 2017 at 19:07, Brett Cannon <br...@python.org> wrote: > I'm overall very supportive of seeing something like this make it into > Python to further strengthen duck typing in the language. >
Thanks! > Personally, I think even an abstract method should be properly typed. > [SNIP] > or raise NotImplementedError. > Yes, I think this is a reasonable requirement. (Also assuming unconditional raise is a bottom type, raising body is properly typed). Initially I thought a type checker could warn about invalid calls to super(), but this complicates things, and indeed "explicit is better than implicit". -- Ivan
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
