4 ms·

whoa did he just say static analysis is the future?

• andreisoare 13y ago
  yeah, I'd love to understand the reason behind that statement.
  • nly 13y ago
    PyPy?
    • masklinn 13y ago
      pypy is dynamic analysis.
      • nly 13y ago
        Semantics. Pypy's RPython dialect is "a restricted subset of Python that is amenable to static analysis", to quote the PyPy website.
        • masklinn 13y ago
          RPython and Pypy are different things. RPython is a restricted subset of python indeed, but its purpose is to be a toolkit for implementing virtual machines. It is not and does not aim to be a general-purpose programming environment. PyPy is a JITed Python runtime implemented in RPython. The relation between PyPy and RPython is more or less the relation between CPython and C.
• bsaul 13y ago
  That line made me feel warm and fuzzy inside. He also mentionned mypy which i thought was a one man lonesome soon to be abandonned ( but absolutely fantastic) project.