4 ms·

Yes, absolutely.

• snaky 13y ago
  Because ... ?
  • happy_dino 13y ago
    The idea of saying “Here is some file and I can't tell you whether it is valid Perl without executing it.” is magnitudes worse than all the C++ macro preprocessor and template hell combined. Something like that is pretty much the worst imaginable thing to happen in language design, especially because we know at least since Chomsky, Rice and Turing how to do better.
    • snaky 13y ago
      >whether it is valid Perl And why that information may be valuable? You cannot say anything about whether it works or it doesn't. "This is valid C++ code, but it dumps a core on null pointer dereference here and there." -- is that information very useful? How exactly? I see an only one ephemerical goal that was a Holy Grail for academia and static analysis was primarily developed to approach it -- formal verification. But it's dead and buried outside an academia and noone cried at the funeral.
      • happy_dino 13y ago
        This is so stupid that I won't bother answering it. You just can't imagine how incredibly ridiculous it appears to the non-US world to use “academic” as a slur.