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