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 q26C2HVb013638 for ; Tue, 6 Mar 2012 13:02:17 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EABT8VU9befWq/2dsb2JhbABDtHqBB4F9AQEFMgE1IQsYLhQYiEsEuV+KJYMXgj9jBJU9iySEc4JkgVM X-IronPort-AV: E=Sophos;i="4.73,539,1325458800"; d="scan'208";a="134624905" Received: from upsilon.hackadomia.org ([91.121.245.170]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Mar 2012 13:02:11 +0100 Received: from usha.takhisis.invalid (unknown [134.157.168.250]) by upsilon.hackadomia.org (Postfix) with ESMTPSA id 12D9E96023 for ; Tue, 6 Mar 2012 13:02:11 +0100 (CET) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id D7070609C; Tue, 6 Mar 2012 13:02:09 +0100 (CET) Date: Tue, 6 Mar 2012 13:02:09 +0100 From: Stefano Zacchiroli To: caml-list@inria.fr Message-ID: <20120306120209.GA25938@upsilon.cc> References: <4F452F9F.4050203@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <4F452F9F.4050203@inria.fr> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1 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 »