From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 761C17F612 for ; Tue, 10 May 2016 23:04:36 +0200 (CEST) IronPort-PHdr: 9a23:+9tKShfxbSuujJI4mlqxtVFrlGMj4u6mDksu8pMizoh2WeGdxc6+Zh7h7PlgxGXEQZ/co6odzbGG4ua5BSdZvMjJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviqtuKP04R2WT1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdRCTBjN2Eu+OXqswPCRE2B/CgySGITxzNMBwHDpC73UZ73+n/zsu503jaXMsTwZbkwXT2k8KpkQRmuhCpRZG1xy33elsEl1PETmxmmvREqm4M= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=allanwegan@allanwegan.de; spf=None smtp.mailfrom=allanwegan@allanwegan.de; spf=None smtp.helo=postmaster@vserver22.colo-server.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of allanwegan@allanwegan.de) identity=pra; client-ip=185.82.85.124; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="allanwegan@allanwegan.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of allanwegan@allanwegan.de) identity=mailfrom; client-ip=185.82.85.124; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="allanwegan@allanwegan.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@vserver22.colo-server.net) identity=helo; client-ip=185.82.85.124; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="postmaster@vserver22.colo-server.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B5AADlSzJXhnxVUrldhA1JNLk1DoF2HoVyAoFxFAEBAQEBAQEBEQEBAQoWB1CCLYIVAQEEIwRREQshFgsCAgkDAgECATcBDRMGAgEBF4gUqFyQZQELFgiFKHiETIULgjSCWQWHe4cWiRaDKYFobYoJToQBgweFWo9AHgGCWYFXbIkKAQEB X-IPAS-Result: A0B5AADlSzJXhnxVUrldhA1JNLk1DoF2HoVyAoFxFAEBAQEBAQEBEQEBAQoWB1CCLYIVAQEEIwRREQshFgsCAgkDAgECATcBDRMGAgEBF4gUqFyQZQELFgiFKHiETIULgjSCWQWHe4cWiRaDKYFobYoJToQBgweFWo9AHgGCWYFXbIkKAQEB X-IronPort-AV: E=Sophos;i="5.24,606,1454972400"; d="asc'?scan'208";a="217638862" Received: from mx1.iboxed.net (HELO vserver22.colo-server.net) ([185.82.85.124]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 10 May 2016 23:04:35 +0200 Received: from [10.14.11.247] (unknown [94.242.243.171]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by vserver22.colo-server.net (Postfix) with ESMTPSA id 8921D54452B for ; Tue, 10 May 2016 23:04:34 +0200 (CEST) To: caml-list@inria.fr References: <572FBB68.1010506@allanwegan.de> From: Allan Wegan Openpgp: id=FBCE6B51371AC71E5533B8CEC3B7955C88CB542E X-Enigmail-Draft-Status: N0110 Message-ID: <57324CE0.5040006@allanwegan.de> Date: Tue, 10 May 2016 23:04:32 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.0 MIME-Version: 1.0 In-Reply-To: <572FBB68.1010506@allanwegan.de> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="LAUxNW3DLv0IfBvGBbs57dfiiIhV0pfWS" Subject: Re: [Caml-list] IDE like PyCharm - Results This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --LAUxNW3DLv0IfBvGBbs57dfiiIhV0pfWS Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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). --=20 Allan Wegan 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 --LAUxNW3DLv0IfBvGBbs57dfiiIhV0pfWS Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJXMkzgAAoJEMO3lVyIy1QuynUQAKkl6T4Ni0F6FPEXly3EB7mW cv1YVtsiIfBPUWqyzO6KLVwSX/FAnxTJov+Z+mMavBj20QflgRaB74g9kOmePzws 4+xSWLNkzcZYczLhVd7bFwVTYUJEfUh4V+fVeW7lOwELG90HtgGoTPPDJCfK5k9T EiVmJ/odRkgkZjn7PyvWi1OwqqJi3FKUkNhXSO8l+tgLr7G04UkaF4rqB1OCKF2L BN8uMTWcASZIeUOnMVeXdw9228v+lbi5bh0Ezp/G5CTeffYLUfGSGgp3QRVm2vj+ LRwHkXAlfJU+H8chYjkfIAZsuS1y8YsRtNiqZFpDITGP2Ks7bm8jyRJouVs8AZTT EBrEO7hU2B45O+TzocdGq/NGwIyYmbdw88Wnfl2EcE5gqX6cevFUf7ewErx4rtnn WlB8DJkT1I8cO/AEa1o8mHro3DN1oEGk8LJ3WVDjW2DV4OIHzKRwPZOb/AV6ETA6 EQ59s3gc+Yc23v0vEhVMgX/tQDlcJ+s4EZehfk0BdpLfwbQtBHIaLlyR1w80UJBx CvwzKRJqhLY/wRnrqchT9Dz4iWTsfTTNa/8p7hEUCkWYD8gSKM0rCGepIQ2Ck9Et P0GGEZ0HxT8szhTzd8+jGBPt3e2XTPSz7pUjS+ufgLS78W9siz7JHd6TW0wcJO+f wjVFgfko6/eSqVQw9JZ4 =bnyF -----END PGP SIGNATURE----- --LAUxNW3DLv0IfBvGBbs57dfiiIhV0pfWS--