You might like Sublime Text <https://www.sublimetext.com/> with whitequark's
<https://github.com/whitequark/sublime-better-ocaml> extensions

On Tue, May 10, 2016 at 5:04 PM, Allan Wegan <allanwegan@allanwegan.de>
wrote:

> I checked the results of this thread and from my point of view, that are
> the results:
>
> emacs:
> Already got two operating systems to use and don't want to learn another
> one. I know, you all *love* this beast. But i have used Windows for a
> long time before i switched to Gentoo. I just can't live without a
> usable GUI anymore.
>
> Atom editor with Nuclide extension:
> $ opam install merlin ocamlbuild ocp-indent
> -> installed some stuff
> $ apm install nuclide language-ocaml ocaml-indent build
> -> "bash: apm: command not found"
>
> OCaml-top:
> Single file solution - not really an IDE but still better than Scite
> (that i used until now) - so i tried to use that...
> ...but it failed with complaining about missing lablgtk2 (wich
> definitely is installed) on executing ocp-build to build it.
>
> https://try.ocamlpro.com/:
> Nice tutorial and will use it - but it is not an IDE.
>
> OcaIDE:
> Looks dead and installing Eclipse would probably lead to nightmares.
>
> OCamlEditor:
> Looks good and i surely want to use it...
> ...but it failed with complaining about missing lablgtk2 (wich
> definitely is installed) on executing "ocaml build.ml ocamleditor" to
> build it.
>
>
> I think i somehow got into build environment hell. Is there any
> *working* tutorial about how to properly set up the build environment
> for OCamlEditor and/or OCaml-top?
>
> I am also interested in other type-inferring (i love that concept)
> statically typed functional non-lazy-evaluation (no Haskell please)
> compiled languages - preferably one with a mature eco system (now that i
> have experienced how important that is).
>
>
>
> --
> Allan Wegan
> <http://www.allanwegan.de/>
> Jabber: allanwegan@ffnord.net
>  OTR-Fingerprint: E4DCAA40 4859428E B3912896 F2498604 8CAA126F
> Jabber: allanwegan@jabber.ccc.de
>  OTR-Fingerprint: A1AAA1B9 C067F988 4A424D33 98343469 29164587
> ICQ: 209459114
>  OTR-Fingerprint: 71DE5B5E 67D6D758 A93BF1CE 7DA06625 205AC6EC
>
>