3 ms·
The public interface of a library isn't where type hints will shine, and I'm not sure why someone would think they would. Type hints are going to be awesome fo
by LyndsySimon 11y ago
The public interface of a library isn't where type hints will shine, and I'm not sure why someone would think they would.
Type hints are going to be awesome for nailing down the behavior of the core parts of your business application. I think of it more like writing good tests than anything else.
Like everything else in development; 80% of the problem is choosing the right tool for the job.
- striking 11y agoBut having every library have type hints means your entire program could be provable. Business logic doesn't make up very much of most applications (at least, not as much as the libraries it's built on). You're right, though. Python doesn't seem to be made for applications that would benefit from being provably compiled.
- jstimpfle 11y agoThis. Types, except for those built-in to the language, are not for APIs. But they can be great for internals if you don't overdo it. For example, Perl6 has Subset (types), which is a great feature. You could make a subset type of Str (a built-in type) which contains only strings that match a given pattern (e.g. URLs, user-ids, or shell-safe strings) and still benefit from all generic string code.
- nazgul17 11y agoI think there is such option in Python ABCs.