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 4A5257F612 for ; Tue, 10 May 2016 23:57:38 +0200 (CEST) IronPort-PHdr: 9a23:GnfhchOGy5zA/ZYwMmkl6mtUPXoX/o7sNwtQ0KIMzox0KPX4rarrMEGX3/hxlliBBdydsKIVzbOK+Pm9ByQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkbnusMSOPU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCKL4nIaGlobnRNOS1zM6BXzWIj8vSL8nuN53CCcIsD5RLZyVTn0vIlxTxq9oioBNTc88WefpdZ9gaReqRTp8xZyxYzdZYCTMPVkc67beNocbWVEV8dVESdGB9XvPMM0E+MdMLMA/MHGrFwUoE77XFH0CQ== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=benjaminlgreenman@gmail.com; spf=Pass smtp.mailfrom=benjaminlgreenman@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f50.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of benjaminlgreenman@gmail.com) identity=pra; client-ip=209.85.215.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="benjaminlgreenman@gmail.com"; x-sender="benjaminlgreenman@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of benjaminlgreenman@gmail.com designates 209.85.215.50 as permitted sender) identity=mailfrom; client-ip=209.85.215.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="benjaminlgreenman@gmail.com"; x-sender="benjaminlgreenman@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-lf0-f50.google.com) identity=helo; client-ip=209.85.215.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="benjaminlgreenman@gmail.com"; x-sender="postmaster@mail-lf0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B6AAD7WDJXjzLXVdFdg1Y3fQamboc2hhSEdwENgXYihW4CgTMHOBQBAQEBAQEBAREBAQEBBwsLCSEvgi2CFQEBAwESEQQZARsdAQMBCwYFBAc3AgIiAREBBQEOAQ0GExsHh3IBAwsIDpp3gTE+MYs7gWqCWIceChknDVKDVwEBAQEBAQEBAgEBAQEBAQETAQUKBYpdhGyCU4JZBYd7hxaJFoV+iCCBaU6EAYhhjgISHoEOHgEBgjoegXEgMokKAQEB X-IPAS-Result: A0B6AAD7WDJXjzLXVdFdg1Y3fQamboc2hhSEdwENgXYihW4CgTMHOBQBAQEBAQEBAREBAQEBBwsLCSEvgi2CFQEBAwESEQQZARsdAQMBCwYFBAc3AgIiAREBBQEOAQ0GExsHh3IBAwsIDpp3gTE+MYs7gWqCWIceChknDVKDVwEBAQEBAQEBAgEBAQEBAQETAQUKBYpdhGyCU4JZBYd7hxaJFoV+iCCBaU6EAYhhjgISHoEOHgEBgjoegXEgMokKAQEB X-IronPort-AV: E=Sophos;i="5.24,606,1454972400"; d="scan'208,217";a="217642159" Received: from mail-lf0-f50.google.com ([209.85.215.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 May 2016 23:57:37 +0200 Received: by mail-lf0-f50.google.com with SMTP id y84so30186622lfc.0 for ; Tue, 10 May 2016 14:57:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=EszNnhX6m9lb+LC/ZGE7q9/YOJ/X3CnpfvrCLYABZf8=; b=hGgnoJv6CU+4tttwF694t2rYx1qu6/REnjTW4fyMzsGXRfqZSMCyQUsRrHMp2hG1RG Q0qYFM4Hsy6X5VZI0r+U/zbBSzuuXddubWZgs2Z2bB28hciEkJ7sr07k0sGt6Ot+9RlF yYboAYnsdTW9wiXPDNIt8HKBx8+CxlQtf0Et15V6Cm/KvOiQg1bo9xHFmKKWBKTJr+6d ZdwPtyN6QaTcLxHN+m56uXo0cMG42z0MIaWMg1troWGxaOg2sCh1vCczLbDgRgGyBBle ZpGt/qlGxttX2t1IRYAtoETxYCcmzZD5cj0BszZEn/8MF8YVKfWqMCuDr3R34PqJ3oMI jHaQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=EszNnhX6m9lb+LC/ZGE7q9/YOJ/X3CnpfvrCLYABZf8=; b=R5lU4wA9CABVBAkbNxvZ4oDQ2GTvyD2DxaVUJGTedx1vMdWK7c9OyrngvVP268P36q ly2FrsmVgJ1hemyImKdV33YCsa23/cbd4pak0zDiyqC9JhsB+w2fYZZpXIXqQYm9TDqd aLWDT2XUD9ZSr5V9kBm9MX50Pjx9UtMaZdZXufWjJy45gTaMn1nNynuir4pDAQ2iQkQd laBDyyjLMy247Wyyz/MAgtb+UyOpbabWKIXvGAeybH6kWbd1swYnrRlfIN5bjaUyoI8U sUJJYlSKH5JEujveOtpqJzRFiH24IX+fcoC52gQv96UZ9pdpC6dxAfhTBDIql4wqQsKh TMhw== X-Gm-Message-State: AOPr4FU+3eDlr037oH6IrGxErSjj+6YdcYyXJouXc96twojGK0XH/UWspBp291lSRFfmL771PB6QkOjzVvfvjg== X-Received: by 10.112.205.3 with SMTP id lc3mr18376535lbc.75.1462917456696; Tue, 10 May 2016 14:57:36 -0700 (PDT) MIME-Version: 1.0 Received: by 10.112.125.164 with HTTP; Tue, 10 May 2016 14:57:17 -0700 (PDT) In-Reply-To: <57324CE0.5040006@allanwegan.de> References: <572FBB68.1010506@allanwegan.de> <57324CE0.5040006@allanwegan.de> From: Benjamin Greenman Date: Tue, 10 May 2016 17:57:17 -0400 Message-ID: To: Allan Wegan Cc: OCaml mailing-list Content-Type: multipart/alternative; boundary=001a11c3d31a579a14053284030c Subject: Re: [Caml-list] IDE like PyCharm - Results --001a11c3d31a579a14053284030c Content-Type: text/plain; charset=UTF-8 You might like Sublime Text with whitequark's extensions On Tue, May 10, 2016 at 5:04 PM, Allan Wegan 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 > > 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 > > --001a11c3d31a579a14053284030c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
You might like Su= blime Text with whitequark's 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 vie= w, that are
the results:

emacs:
Already got two operating systems to use and don't want to learn anothe= r
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<= br> =C2=A0OTR-Fingerprint: E4DCAA40 4859428E B3912896 F2498604 8CAA126F
Jabber: allanwegan@jabber.ccc.d= e
=C2=A0OTR-Fingerprint: A1AAA1B9 C067F988 4A424D33 98343469 29164587
ICQ: 209459114
=C2=A0OTR-Fingerprint: 71DE5B5E 67D6D758 A93BF1CE 7DA06625 205AC6EC


--001a11c3d31a579a14053284030c--