News for hackers. Stuff that matters.

A comment on Guido van Rossum: The Theory of Type Hinting for Python 3.5. Parent comment

Re:Guido van Rossum: The Theory of Type Hinting for Python 3.5 by andreasvc on Saturday December 20, 2014 @10:10AM (#8776770)
That's false. This is gradual typing, which is more recent. Gradual typing allows dynamicity, while HM fails if not every type can be statically inferred. Furthermore, IIRC there are reasons why HM is less/not suited for imperative languages, but they escape me at the moment.
[ Parent | on HN ]

There are no comments on this comment yet.