https://gi= thub.com/facebook/pfff/blob/master/lang_cmt/analyze/graph_code_cmt.ml

but I have not yet written the datalog fact generator for ocaml. C= ontributions are welcome though :)

On Nov 18, 2014, a= t 1:06 AM, Gabriel Scherer <gabriel.scherer@gmail.com> wrote:

(One can find a description of Go ora= cle's design in
https://docs.google.com/doc= ument/d/1WmMHBUjQiuy15JfEnT8YBROQmEv-7K6bV-Y_K53oi5Y/view
and its us= er manual in
https= ://docs.google.com/document/d/1SLk36YRjjMgKqe490mSRzOPYEDe0Y_WQNRv-EiFYUyw/= view#heading=3Dh.kthq8ap0mdwi
)

The ecosystem of OCaml toolin= g is not as refined as Go's (but
contributions are welcome). There is no= centralized tool provider with
a common interface, but several contribu= tors have developped separate
tool to anayze different aspects of OCaml = programs:

- ocamlspotter: https://bitbucket.org/camlspotter/ocamlspot
- ocp-inde= x: http://typerex.oc= amlpro.com/ocp-index.html
- pfff: https://github.com/facebook/pfff
- merlin: http://the-lambda-church.github.io= /merlin/

These tool provide a relatively complete coverage of th= e information
that can easily be retrieved from the typedtree of a progr= am (>=3D4.01
versions of the OCaml compiler have the option to genera= te a reified
typedtree for external tools): the occurences of a declared= /defined
name, the definition place of a name, the type of an expression= , etc.
As far as I'm aware, there is not much in the direction of the mo= re
advanced static analysis feature Go's oracle supports: points-to
i= nformation, "who may update this mutable field", etc. I'm not
familiar w= ith Pfff's capabilities, it may be the more advanced in this
regard.
=
(There is also more experimental work going on, for example Thomas
B= lanc's work on static analysis of exception flow at OCamlPro:
https://github.com/OCamlPro/s= ocaml-analyzer )

I think merlin is the best-positioned tool to d= eal with
partially-incorrect files (typical of an edition session) andincrementality. It also incorporates some query/analysis feature, but
= it's unclear whether those should grow inside a monolithic tool (eg.
it = could encompass the current feature set of ocp-index and
ocamlspotter, i= f it does not already), or rather try to communicate
with external analy= sis/query plugins. It also interacts with existing
editors through a rea= sonable query-answer interface, but does not
provide a direct command-li= ne interface (anyone interested in this
could work on it, it may be rela= tively easy to implement).

There are fairly orthogonal aspects to a = "answering questions about
programs" toolbox, among which:
1) user-in= terface, interactive use, and interface with existing editors
2) support= for incrementality and robustness under partially-incorrect files
3) kn= owledge of what the "project", or whole program, is; which
dependencies = are required to understand the work? (build system
knowledge)
4) impl= ementation of various program analyses and transformations

Is it pos= sible to provide them in separate programs and have them
interact to for= m a useful whole? Or would it be easier, faster and
more robust to imple= ment them all in a monolithic program? What are
the necessary interdepen= dence between these aspects and what interface
should them provide to ea= ch other?

On Tue, Nov 18, 2014 at 6:00 AM, Kenneth Adam Miller
&l= t;kennethadammiller@gmail.co= m> wrote:
If anybody knows what Go's or= acle is you'll know that its a great
accelerator for your time; it allow= s expressive and meaningful searches to
be done over a source repository= . It's fast and dead useful. Opengrok is
much the same, but to a lesser = extent (having links is nice, but not quite
as powerful as oracle, I cou= ld be wrong).

Is there anything like this for OCaml?

--
Caml-list mailing list. Subscription management and archi= ves:
https://symp= a.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.= com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bug= s

= --Apple-Mail=_4963FD8D-A114-41B7-BDD1-C24040BD7979--