3 ms·
Unless I'm missing something entirely, what would that add? You still can't express the core information you need in the type system.
by jofer 1y ago
Unless I'm missing something entirely, what would that add? You still can't express the core information you need in the type system.
- efavdb 1y agoI meant only that you can insist a parameter has some quality when passed.
- jofer 1y agoGood point, but I think we're talking past each other a bit. Typing in python within the scientific world isn't ever used to check types. It's _strictly_ only documentation. Yes, MyPy and whatnot exist, but not meaningfully. You literally can't use them for anything in this domain (they wont' run any of the code in question). Types (in this subset of python) are 100% about documentation, 0% about enforcement. We're setting up a _documentation_ system that can't express the core things it needs to. That worries me. Setting up type _checks_ is a completely different thing and not at all the goal.
- efavdb 1y agoI see makes sense. Thanks.