web-dev-qa-db-fra.com

IDE pour la langue OCaml

Existe-t-il un OCaml de confiance IDE autre que Camelia?

Je préférerais une base basée sur Eclipse IDE si elle existait.

27
becks

Éditeurs

• Emacs

◦ mode ocaml de la distribution standard

◦ mode tuareg alternatif https://forge.ocamlcore.org/projects/tuareg/

- cheat-sheet: http://www.ocamlpro.com /fi chiers/tuareg-mode.pdf

◦ intégration de camldebug avec le débogueur

Feedback rétroaction de type avec raccourci clavier C-c C-t, nécessite des fichiers .annot

• Vigueur

◦ Plugin OMLet http://www.lix.polytechnique.fr/~dbaelde/productions/omlet.html

◦ Pour la recherche de type: soit https://github.com/avsm/ocaml-annot

- ou http://www.vim.org/scripts/script.php?script_id=2025

- aussi? http://www.vim.org/scripts/script.php?script_id=1197

• Éclipse

◦ Outils de développement OCaml http://ocamldt.free.fr/

◦ un ancien plugin OcaIDE http://www.algo-prog.info/ocaide/

• TypeRex http://www.typerex.org/

◦ actuellement principalement en mode typerex pour Emacs mais l'intégration avec d'autres éditeurs deviendra meilleure

◦ Auto-complétion des identi fi cateurs (expérimental)

◦ Navigation d'identi fi cateurs: afficher le type et le commentaire, aller à la dé fi nition

◦ refactorisation locale et globale: renommage des identifiants et unités de compilation, élimination ouverte

• Quelques éditeurs dédiés

◦ OCamlEditor http://ocamleditor.forge.ocamlcore.org/

◦ ocamlbrowser inspecte les bibliothèques et les programmes

- parcourir le contenu des modules

- recherche par nom et par type

- édition de base, avec coloration syntaxique

◦ Cameleon http://home.gna.org/cameleon/ (ancien)

◦ Camelia http://camelia.sourceforge.net/ (encore plus ancien)

NOUVEAU: éditeur OCaml-top , avec coloration syntaxique, indentation, affichage de type, fonctionne bien sur tous les systèmes.

NOUVEAU: Merlin , similaire à TypeRex mais fonctionne mieux avec les fichiers en cours de travail, a actuellement des frontaux pour Vim et Emacs.

31
lukstafi

VSCode avec le plug-in ReasonML/OCaml:

enter image description here

Installez le plugin/l'extension VSCode avec:

enter image description here

Jetbrains/IntellijIDEA Ultimate:

enter image description here

Avec Jetbrains, installez le plugin ici:

enter image description here

Vous obtenez intelli-sense/auto-complete avec les deux éditeurs utilisant ces plugins.

5
Alexander Mills

Vous pouvez peut-être vérifier cette rubrique: Recherche d'OCaml IDE

Pour Eclipse IDE vous avez OcaIDE

3
cago