The Future of SCIP

(sourcegraph.com)

72 points | by jdorfman 18 hours ago

7 comments

  • UncleOxidant 11 hours ago
    Oh, not SICP.
  • skybrian 11 hours ago
    The git repo is here: https://github.com/scip-code/scip

    Looks like it's defined using protocol buffers, with "rich Go and Rust bindings" and links to implementations for many other languages.

    • sanufar 11 hours ago
      I can’t speak for the Go bindings, but using the Rust crate has been pretty clean. Haven’t really felt the need to dip into deserializing raw .scip file in the time that I’ve been working with SCIP.
    • ananthakumaran 8 hours ago
      I have been using https://github.com/jacktasia/dumb-jump to quickly jump to definitions. LSP is hit or miss; in some languages, it works great, while in others, the implementation is not so good. I have been thinking about a middle ground based on Tree-sitter. GitHub uses Tree-sitter to power code navigation, but unfortunately, I can't find anything good that I can use offline. Why is there no ctags equivalent powered by Tree-sitter?
    • zingar 10 hours ago
      Something something powers go to definition… is this an implementation of an LSP server? Or a subset of what’s needed to implement LSP? A formerly proprietary alternative to LSP?
      • JamyDev 9 hours ago
        In its simplest form, it's just a dump of the code intelligence information from a static copy of the code. This can power an LSP, however, without additional logic wouldn't be able to handle a project under edit, since the locations won't match between the indexed state and the edited project state; So it lends itself well for something like Sourcegraph that already displays a static copy of the codebase.

        Uber uses SCIP as part of the LSP implementation for our Java monorepo (Pieces of which we've [open-sourced](https://github.com/uber/scip-lsp)). Standardizing on SCIP has helped us generalize tools to be independent of the compiler/language ecosystem (eg we could do call-stack-analysis on any project that exports valid SCIP; do feature flag cleanup; find refs/impls across a wider scope than most LSP servers can handle due to memory constraints).

      • s20n 5 hours ago
        Structure and Computer of Interpretation Programs
        • hikaru_ai 2 hours ago
          [dead]