[issue25350] Stronger type enforcement (feature request)

2015-10-08 Thread John Michael Lafayette
New submission from John Michael Lafayette: With a lot of languages, I can tell that the type I am getting is an instance of the declared type I'm assigning it to. Example: Cat c = Factory.make("cat" Animal d = Factory.make("dog") Python: val c = Factory.make("ca

[issue25374] Deficiencies in type hint usage in Python standard libraries

2015-10-10 Thread John Michael Lafayette
New submission from John Michael Lafayette: I love the new type hint feature in Jetbrains IDE (PEP 0484). Now when my user defined methods return a value, I can press (Crtl+space) and see the type of that value and all its methods. Also, when I pass the wrong type in, I get a warning. Oddly