4 ms·
Abstract interpretation/symbolic execution should still work, but it would require basically reimplementing the semantics of perl, yes.
by sgrove 11y ago
Abstract interpretation/symbolic execution should still work, but it would require basically reimplementing the semantics of perl, yes.
- Someone 11y agoThat still may be of little help in, say, a perl IDE, as the meaning of a program _can_ depend on the input it reads. "But that will not happen in practice" If you think that to be the case, use a language that _can_ be parsed. That makes life easier for implementers of IDE's, refactoring tools, etc. and costs you nothing (given the "that will not happen in practice" claim)