Dependent type people, in a language of your choice, how would you write a type signature that captures the semantics of this bit of Python: https://librosa.github.io/librosa/generated/librosa.decompose.hpss.html#librosa.decompose.hpss …
I just mean there might be some "big picture" aspects beyond this one function, e.g. are there invariants on core data types and the relationships between them, that sort of thing.
-
-
Ah, I think I see what you mean. Usually, I'd answer "yes", but the more data science I look at the more I find that the relationships and invariants are far more numerical than discrete, which I think is why people use python: because those relationships are hard to write down.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.