Il REPL di ocaml può supportare il completamento automatico ecc.?

Question

Esistono altri modi per rendere automatico il supporto per ocaml, ecc. Eccetto l'uso di rlwrap?

Cordiali saluti!

Answer 1

Recentemente un sistema denominato utop è stato annunciato sulla mailing list OCaml. Sostituisce il livello superiore di OCaml con molte funzionalità avanzate. Sembra essere ospitato presso OcamlCore.org:

http://forge.ocamlcore.org/projects/utop/

non l'ho provato, ma sembra grande.

Io uso rwwrap, me stesso.

Answer 2

È possibile utilizzare il livello superiore ocaml dall'interno di un buffer Emacs, che diventa solido. rlwrap -come le funzioni di modifica, oltre a tutto ciò che si ha nella configurazione di Emacs, incluse potenziali modalità di completamento specifiche non ocaml.

Oltre a Jérémie Dimino utop che Jeffrey ha già citato, ci sono altri progetti più vecchi relativi al primo livello di OCaml. Non sono tutte dotate di completamento, ma si può ancora essere interessati a loro:

• di Zheng Li Enhtop (README) che fornisce le direttive per la navigazione l'attuale contesto toplevel
• Peng Zang di Enhtop+, una patch incrementale sopra Enhtop , che viene fornito con una modalità tuareg-plus che fornisce funzioni extra Tuareg, tra cui il completamento ocaml-aware, che sono disponibili anche da un buffer di Emacs toplevel

(correlati, ma non toplevel-oriented, è giugno Furuse di Ocamlspotter che consente di ottenere informazioni precise su dove-è-nome-definito per i file OCaml in Emacs)

Tutti questi progetti vengono forniti come patch alle origini OCaml. Ciò significa che per installarli devi scaricare i sorgenti del compilatore OCaml, applicarli alle patch, compilare e utilizzare il risultato come installazione di OCaml (potrebbe essere opzionalmente possibile mantenere un'installazione, patch e compilazione OCaml esistente della stessa versione di il compilatore separatamente, e usa/sostituisci in modo selettivo i file eseguibili interessanti). Ciò significa anche che vi è un onere di manutenzione sullo sviluppo patch, che deve seguire gli aggiornamenti del compilatore OCaml e che si può essere vincolati in quali versioni di OCaml utilizzare. In breve, non sono facili da implementare.