caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Yaron Minsky <yminsky@gmail.com>
To: "Daniel Bünzli" <daniel.buenzli@erratique.ch>
Cc: Gabriel Scherer <gabriel.scherer@gmail.com>, caml-list@inria.fr
Subject: Re: [Caml-list] Re: Jump-to-definition and type-aware completion for Caml (was : Argot 1.0 release)
Date: Fri, 4 Nov 2011 12:53:39 -0400	[thread overview]
Message-ID: <CADKNfhKCHZt70rq3qSFkH3pkvmNAx+Pd-T9M_dVA=EnjdL+6QQ@mail.gmail.com> (raw)
In-Reply-To: <CALgo1QKzZmc71OT1HxnCcv1sCpR8YwvFKpnZyx6ftoeoV+_=xg@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 1063 bytes --]

On Fri, Nov 4, 2011 at 9:21 AM, Daniel Bünzli
<daniel.buenzli@erratique.ch>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

[-- Attachment #2: Type: text/html, Size: 1453 bytes --]

  reply	other threads:[~2011-11-04 16:53 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-04 12:39 [Caml-list] " Gabriel Scherer
2011-11-04 13:21 ` [Caml-list] " Daniel Bünzli
2011-11-04 16:53   ` Yaron Minsky [this message]
2011-11-04 18:37   ` Jun Furuse
2011-11-04 19:49     ` Daniel Bünzli

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CADKNfhKCHZt70rq3qSFkH3pkvmNAx+Pd-T9M_dVA=EnjdL+6QQ@mail.gmail.com' \
    --to=yminsky@gmail.com \
    --cc=caml-list@inria.fr \
    --cc=daniel.buenzli@erratique.ch \
    --cc=gabriel.scherer@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).