From: Stefano Zacchiroli <zack@upsilon.cc>
To: caml-list@inria.fr
Subject: Re: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1
Date: Tue, 6 Mar 2012 13:02:09 +0100 [thread overview]
Message-ID: <20120306120209.GA25938@upsilon.cc> (raw)
In-Reply-To: <4F452F9F.4050203@inria.fr>
On Wed, Feb 22, 2012 at 07:10:39PM +0100, Tiphaine Turpin wrote:
> We are pleased to announce the first release candidate of TypeRex, a new
> OCaml development environment, developed by OCamlPro and Inria Saclay.
> This version of TypeRex only integrates with Emacs and brings a
> collection of new features that programmers expect from a modern IDE.
> Next versions will target more editors.
Thanks for TypeRex. I'm impressed by the possibilities that someone like
TypeRex offers. It might finally be a way to close the gap among the
limited capabilities of our current "IDE-s" and IDE-s for other
programming languages. The refactoring helper, in particular, is
something I'm delighted to see coming.
At the same time, I'm not thrilled at the idea of having to use a
different ocamlc just to benefit from TypeRex. Having to do so brings a
number of disadvantages, the first and foremost being that now the
programmer needs to worry about having synchronized versions of the
"legacy" ocamlc installed on his machine and the version shipped by
TypeRex. But there are more disadvantages, unfortunately.
Can you tell us why we can't (or maybe *when* we will be able to :-))
have the nice features offered by TypeRex on top of the stock ocamlc
compiler?
Having a perspective on when, if ever, TypeRex will be able to work on
the stock ocamlc compiler will help driving my choice of whether
adopting TypeRex or not. And I'm probably not the only one with similar
doubts.
Many thanks in advance,
Cheers.
--
Stefano Zacchiroli zack@{upsilon.cc,pps.jussieu.fr,debian.org} . o .
Maître de conférences ...... http://upsilon.cc/zack ...... . . o
Debian Project Leader ....... @zack on identi.ca ....... o o o
« the first rule of tautology club is the first rule of tautology club »
next prev parent reply other threads:[~2012-03-06 12:02 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-22 18:10 Tiphaine Turpin
2012-02-22 17:32 ` Dmitry Grebeniuk
2012-02-22 17:45 ` Thomas Gazagnaire
2012-02-22 20:55 ` Daniel Bünzli
2012-02-23 0:46 ` Daniel Bünzli
2012-02-23 1:04 ` [Caml-list] " Hongbo Zhang
2012-02-23 11:22 ` Thomas Gazagnaire
2012-03-02 19:51 ` [Caml-list] " Vu Ngoc San
2012-03-02 20:01 ` Çagdas Bozman
2012-03-06 12:02 ` Stefano Zacchiroli [this message]
2012-03-06 14:27 ` Tiphaine Turpin
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=20120306120209.GA25938@upsilon.cc \
--to=zack@upsilon.cc \
--cc=caml-list@inria.fr \
/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