From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pA4Grb5I010341 for ; Fri, 4 Nov 2011 17:53:41 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnwBAJMXtE7RVdy2mGdsb2JhbABEqXsIIgEBAQEBCAkNBxQlgXIBAQEDAQsHAhcVARsdAQMBCwYFBAEGMAsiAQwBBAEFAQMBGAYTIodgmGAKi1QKgleFLD2IcAIFCokhBJQchiCHGj06g1E X-IronPort-AV: E=Sophos;i="4.69,456,1315173600"; d="scan'208";a="116965059" Received: from mail-vx0-f182.google.com ([209.85.220.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Nov 2011 17:53:40 +0100 Received: by vcbfo14 with SMTP id fo14so2386375vcb.27 for ; Fri, 04 Nov 2011 09:53:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:reply-to:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=T3ZFyXA1ekBc8gVCKdw4EUeH0rvZ5bavdeKJ/CFu6sg=; b=c83BheLiYooXxbi0yWwQuxcC7LuTYlT9hEHiBWHyQlRzgRBc1f4XEehyomBIu+0rTB jq0UWh6Re5W77MiqXShgUy7BvIu4vL29btjfmJFSlLdgC5vINX7lDsi0CF8eaE+ttOxn dU/c0a3SwU1pOP5MBBhz6rdSUuk6Y3o1ry2fc= MIME-Version: 1.0 Received: by 10.52.97.35 with SMTP id dx3mr15651735vdb.2.1320425619703; Fri, 04 Nov 2011 09:53:39 -0700 (PDT) Received: by 10.220.158.144 with HTTP; Fri, 4 Nov 2011 09:53:39 -0700 (PDT) Reply-To: yminsky@gmail.com In-Reply-To: References: Date: Fri, 4 Nov 2011 12:53:39 -0400 Message-ID: From: Yaron Minsky To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Cc: Gabriel Scherer , caml-list@inria.fr Content-Type: multipart/alternative; boundary=20cf307f31a803c8e904b0eb8c2b Subject: Re: [Caml-list] Re: Jump-to-definition and type-aware completion for Caml (was : Argot 1.0 release) --20cf307f31a803c8e904b0eb8c2b Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Nov 4, 2011 at 9:21 AM, Daniel B=FCnzli wrote: > Thanks for all the links. > > > Beware that all those projects tend to be built as patches to the > > ocaml distribution, which means difficult deployment (which means few > > users, which means few maintenance, which means bitrot). > > That's the problem. I tend not to rely too much beyond what is > provided by the standard distribution. > > > You may also have a look at the various attempts at integrating OCaml > with Java IDEs (Oca'IDE, Ocaml Development Tools, etc.). > > Well I'm really not fond of IDEs. I usually find them very invasive > and bureaucratic and I'm not productive in them. So far emacs is the > only system that works really well for me (it's also an "IDE" that > works everywhere, even in the terminal). But I have to admit that some > IDEs provide features that I would like to have in the emacs modes I > use. > OCamlspotter as well as the tools that OCamlPro is working on should work fine from within vim and emacs. y --20cf307f31a803c8e904b0eb8c2b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Nov 4, 2011 at 9:21 AM, Daniel B=FCnzli <daniel.buenzli@erratique.ch&g= t; wrote:
Thanks for all the links.

> Beware that all those projects tend to be built as patches to the
> ocaml distribution, which means difficult deployment (which means few<= br> > users, which means few maintenance, which means bitrot).

That's the problem. I tend not to rely too much beyond what is
provided by the standard distribution.

> You may also have a look at the various attempts at integrating OCaml = with Java IDEs (Oca'IDE, Ocaml Development Tools, etc.).

Well I'm really not fond of IDEs. I usually find them very invasi= ve
and bureaucratic and I'm not productive in them. So far emacs is the
only system that works really well for me (it's also an "IDE"= that
works everywhere, even in the terminal). But I have to admit that some
IDEs provide features that I would like to have in the emacs modes I
use.

OCamlspotter as well as the tools that OCamlP= ro is working on should work fine from within vim and emacs.

y
<= /div>
--20cf307f31a803c8e904b0eb8c2b--