3 ms·
I'm not sure what you mean that they're the same thing. They're different domains with different transfer functions. There's even a recent ish paper exploring h
by tekknolagi 2y ago
I'm not sure what you mean that they're the same thing. They're different domains with different transfer functions. There's even a recent ish paper exploring how they can be used to inform one another. Can you say more?
- almostgotcaught 2y ago> type, known bits, known range >I'm not sure what you mean that they're the same thing they're all components of the type; i have no idea what pypy does with "known bits" but deducing "range" of a value is firmly/unanimously as "type refinement" (see https://en.wikipedia.org/wiki/Refinement_type https://en.wikipedia.org/wiki/Refinement_type) i.e. still a part/aspect/dimension of the type not of the value.
- x0xrx 2y agoI think with a suitably expansive definition of “type” you can get pretty far in this direction. I have personally used AI for control flow analysis of a toy OO language.