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 3692E7F108 for ; Wed, 11 May 2016 08:54:43 +0200 (CEST) IronPort-PHdr: 9a23:8loTFRaf81AI+VL+mInYgM//LSx+4OfEezUN459isYplN5qZpcS/bnLW6fgltlLVR4KTs6sC0LqH9fm9EjVYv96oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDjvcSOKFwQ2nKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1IYVmwQ2iVFDAHDpEXzWpP4tDT3ueN78CCeOcTwUr07UDLk46o9GzHyjyJSEzM+9mjNhss4qKtUvRSo7yZiwpycNISSOP5weYvSeNobQSxKWcMHBH8JOZ+1c4ZaV7lJBu1ftYSo4gJW9RY= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=modlfo@gmail.com; spf=Pass smtp.mailfrom=modlfo@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f45.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of modlfo@gmail.com) identity=pra; client-ip=74.125.82.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="modlfo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of modlfo@gmail.com designates 74.125.82.45 as permitted sender) identity=mailfrom; client-ip=74.125.82.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="modlfo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f45.google.com) identity=helo; client-ip=74.125.82.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="postmaster@mail-wm0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CQAADc1jJXjy1SfUpdhA19hCagcAEGiRKGFIR3AQ2BdiKFbgIlgQ04FAEBAQEBAQEBEQEBAQEHCwsJIS+CLYIVAQEBAwESEQQZARsdAQMBCwYFCw0qAgIjEQEFAQ4BDQYTGweHcgEDCwgECplFgTE+MYs7gWqCWIc0ChknDVKDVwEBAQEBAQEBAQEBAQEBAQEBAQEBAQ8BBQoFhUmCPoJWhD8tglMrgi4Fh3uGVEKJFoV+iCCBaU6EAYJ5DoVajgIwgQ4eAQGCOh6BWGuJCgEBAQ X-IPAS-Result: A0CQAADc1jJXjy1SfUpdhA19hCagcAEGiRKGFIR3AQ2BdiKFbgIlgQ04FAEBAQEBAQEBEQEBAQEHCwsJIS+CLYIVAQEBAwESEQQZARsdAQMBCwYFCw0qAgIjEQEFAQ4BDQYTGweHcgEDCwgECplFgTE+MYs7gWqCWIc0ChknDVKDVwEBAQEBAQEBAQEBAQEBAQEBAQEBAQ8BBQoFhUmCPoJWhD8tglMrgi4Fh3uGVEKJFoV+iCCBaU6EAYJ5DoVajgIwgQ4eAQGCOh6BWGuJCgEBAQ X-IronPort-AV: E=Sophos;i="5.24,608,1454972400"; d="scan'208,217";a="217686024" Received: from mail-wm0-f45.google.com ([74.125.82.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 May 2016 08:54:40 +0200 Received: by mail-wm0-f45.google.com with SMTP id e201so205225461wme.0 for ; Tue, 10 May 2016 23:54:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=UpwlDLE5U9oViaKprEAqBiZvhn53CD/sfYOildc4rQo=; b=oel+DGLTST6cYpOZrwZVZi+vU+q5Y0BcU8A8GIkK/rJV02AOfZAJWfvpCMk7AKxVoB Vw/C1jXo/HsMiWC1SrXmhKVKitgVcSjJjEGNfywqma2AW4tsCfXxCrsCpw69/Pbu8F3K BNM3vYC1ChKmipAY27PJT1t7kFf104laAKc2vzBs69cR0WQgEUGDqccqjBQn4u7XNyUx eJ7Lcp9Yl3CTxcOgagn7kaAC5bhmzpCxSxjbUH1SLsTfrX8uB6I4wNeyF30MGsDtuRGY EX6+BljndwBRo1Hpi1t2I6JT/mfuf5e3yWzfRL+b/jRA5lyWh8Jq1XlcRCqE1i6oZ0D3 hAvw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=UpwlDLE5U9oViaKprEAqBiZvhn53CD/sfYOildc4rQo=; b=k0vDEVJwpJl9lag2CTX3PeGkgu9PJJOUlwCceGT8rOQ+PfvnefGnJrl/n0P7IqbZ/l 4dgJoZ9UAlo9UfsfEePrH/8Gmhizc3Y0f+RSi1y5mNSc8zLyi/csMVlLstxIRAgTVdAO 98mCfoml49E1TvJHfM+vGNFF4XJwiPJJ1uTCkghCSYtuPPqyKDaYYWTX3oVEDrVS7/vM 7Ycj5W0voGA1iVUDPm09bxeVLe3J4azFTyjw9GB+6Moukqpkuoq/TI7h5uZnuEYB77fR FjJtSWzMj+R9HYGv8Q4SINCb8tambL3VWE3LU24ptKkHG19eOGUXbZm1VZSxYsEUCsrM 6ihg== X-Gm-Message-State: AOPr4FVE9OirBwIPFcyitZDRMYQ4nmbVW5QldsomL2WerbqcG7F21F+AVkPvO7JOHrVRZA== X-Received: by 10.194.114.100 with SMTP id jf4mr1908885wjb.55.1462949679968; Tue, 10 May 2016 23:54:39 -0700 (PDT) Received: from [192.168.0.102] (79-100-94-75.ip.btc-net.bg. [79.100.94.75]) by smtp.gmail.com with ESMTPSA id gk6sm6345574wjc.31.2016.05.10.23.54.38 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 10 May 2016 23:54:39 -0700 (PDT) Content-Type: multipart/alternative; boundary=Apple-Mail-FEEBF5DB-3CAE-4C16-949F-B25C882AA537 Mime-Version: 1.0 (1.0) From: Leonardo Laguna Ruiz X-Mailer: iPad Mail (13E238) In-Reply-To: <57324CE0.5040006@allanwegan.de> Date: Wed, 11 May 2016 09:54:38 +0300 Cc: caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: <1C461E0A-DD76-4B94-9E30-2B9E119B750B@gmail.com> References: <572FBB68.1010506@allanwegan.de> <57324CE0.5040006@allanwegan.de> To: Allan Wegan Subject: Re: [Caml-list] IDE like PyCharm - Results --Apple-Mail-FEEBF5DB-3CAE-4C16-949F-B25C882AA537 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable If you are willing to try one more alternative, I use Sublime Text 3 plus t= he plugin of merlin. https://www.sublimetext.com/3 https://github.com/cynddl/sublime-text-merlin I use this project "template" in every project I start. https://github.com/modlfo/ocaml-sublimetext-template Merlin through sublime text works quite well. The only problem I have had i= s with projects of tens of thousands lines of code, the autocomplete gets s= low. In such cases I turn it off. Sublime text is an excellent editor. Looks a lot like Atom but Sublime text= is much faster and responsive. Leonardo > On 11 May 2016, at 00:04, Allan Wegan wrote: >=20 > I checked the results of this thread and from my point of view, that are > the results: >=20 > 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. >=20 > 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" >=20 > 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. >=20 > https://try.ocamlpro.com/: > Nice tutorial and will use it - but it is not an IDE. >=20 > OcaIDE: > Looks dead and installing Eclipse would probably lead to nightmares. >=20 > 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. >=20 >=20 > 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? >=20 > 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 >=20 >=20 > --=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 >=20 --Apple-Mail-FEEBF5DB-3CAE-4C16-949F-B25C882AA537 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable


If you are willing to try = one more alternative, I use Sublime Text 3 plus the plugin of merlin.
=

<= br>
I use this project "template" in every project I start.
=


Merlin through sublime text works quite well. The only pro= blem I have had is with projects of tens of thousands lines of code, the au= tocomplete gets slow. In such cases I turn it off.

S= ublime text is an excellent editor. Looks a lot like Atom but Sublime text = is much faster and responsive.

Leonardo


On 11 May 2016, at 00:04, Allan Wegan <allanwegan@allanwegan.de> wrote:
I checked the results of this t= hread and from my point of view, that are
the results:

emacs:
Already got two operati= ng systems to use and don't want to learn another
one. I kn= ow, 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 oc= p-indent
-> installed some stuff
$ apm i= nstall nuclide language-ocaml ocaml-indent build
-> "bas= h: 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 (wi= ch
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 nightmar= es.

OCamlEditor:
Looks goo= d and i surely want to use it...
...but it failed with comp= laining about missing lablgtk2 (wich
definitely is installe= d) on executing "ocaml build.ml ocamleditor" to
build it.


I think i somehow got into= build environment hell. Is there any
*working* tutorial ab= out how to properly set up the build environment
for OCamlE= ditor and/or OCaml-top?

I am also interest= ed in other type-inferring (i love that concept)
statically= typed functional non-lazy-evaluation (no Haskell please)
c= ompiled languages - preferably one with a mature eco system (now that i
have experienced how important that is).



--
Allan Weg= an
<http://www.all= anwegan.de/>
Jabber: allanwegan@ffnord.net
OTR-Fingerprint: E4DCA= A40 4859428E B3912896 F2498604 8CAA126F
Jabber: allanwegan@jabber.ccc.de
OTR-Fingerprint: A1AAA1B9 C067F988 4A424D33 98343469 29164587ICQ: 209459114
OTR-Fingerprint: 71DE5B5E 67D6D758 A= 93BF1CE 7DA06625 205AC6EC

= --Apple-Mail-FEEBF5DB-3CAE-4C16-949F-B25C882AA537--