From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.7 required=5.0 tests=AWL,DNS_FROM_RFC_POST, DNS_FROM_SECURITYSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 029D6BBAF for ; Thu, 23 Oct 2008 02:22:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgBAFpf/0jRVdkPimdsb2JhbACMO4ZyPgEBAQoJDAcPqVMIdIc8AQMBA4NLgUA X-IronPort-AV: E=Sophos;i="4.33,467,1220220000"; d="scan'208";a="30637611" Received: from mail-gx0-f15.google.com ([209.85.217.15]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2008 02:22:12 +0200 Received: by gxk8 with SMTP id 8so435136gxk.3 for ; Wed, 22 Oct 2008 17:22:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:reply-to:to:subject:date :user-agent:cc:references:in-reply-to:content-type :content-transfer-encoding:content-disposition:message-id; bh=bgFk1fZDeDIht70vDL/ZANpZtBejjJUZtQwyoTVnqK0=; b=VsnciPV3ky7BzxA1ACurOd6rHLYAyyE+1bJMhNC4uPG9sK1ffFE4AQ/45votD/gbIW dDY3227PmFzt77gmXRYrjMHsdRTULaQQ5EsX1UiFzL0vwtOsFaZT5hfQfjdV8E5fNH3b Ft5ds7hUjxGBhvT3C+fEDdsxdND3OUOvUqyG0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:reply-to:to:subject:date:user-agent:cc:references:in-reply-to :content-type:content-transfer-encoding:content-disposition :message-id; b=c9Nz+HJnc5ebd1xHj2jdiYJI3YQchqXkP0Cjm5Jqngsa0zLnPCa/lV5576k+8rpHDM xjZ4rTgAZmuhrJrut3PsB/yBepNUnyQn0HcnoIKkb5IFtwpa2ZP1XJDUg7rSNWhAIgvi w8FfbZ+Lesa6/xA2Gm9WrGzd6X8+N1ptqs19k= Received: by 10.100.138.10 with SMTP id l10mr7751945and.25.1224721331079; Wed, 22 Oct 2008 17:22:11 -0700 (PDT) Received: from ?192.168.0.102? (c-24-99-180-210.hsd1.ga.comcast.net [24.99.180.210]) by mx.google.com with ESMTPS id c13sm1562892anc.32.2008.10.22.17.22.09 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 22 Oct 2008 17:22:10 -0700 (PDT) From: Peng Zang Reply-To: peng.zang@gmail.com To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] What does Jane Street use/want for an IDE? What about you? Date: Wed, 22 Oct 2008 20:22:05 -0400 User-Agent: KMail/1.9.7 Cc: "Till Varoquaux" , "Kuba Ober" References: <200810200919.41561.ober.14@osu.edu> <200810211435.51102.ober.14@osu.edu> <9d3ec8300810211231j40dbbef2ifdd6c2f6b84a2048@mail.gmail.com> In-Reply-To: <9d3ec8300810211231j40dbbef2ifdd6c2f6b84a2048@mail.gmail.com> Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200810222022.07888.peng.zang@gmail.com> X-Spam: no; 0.00; hash:01 emacs:01 emacs:01 interfacing:01 peng:98 peng:98 dictate:98 wrote:01 caml-list:01 tree:02 external:03 external:03 tend:03 therefor:03 gnu:03 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Tuesday 21 October 2008 03:31:26 pm Till Varoquaux wrote: > There is a mix of Emacs,vim,texmate and other esoteric editors being > used here. We are all free to choose what we use but I think a lot of > us decide to cope with a steeper learning curve in order to gain more > flexibility (there's a big difference between hacking as your day job > and coding for a one term class). Dethroning emacs (or vim or ....) > might therefor be a bit of a challenge. That being said a fair amount > of advanced IDE features can be oloaded to external tools (in the > spirit of ocamlwizard). I would really love to see a user friendly IDE > interfacing with such a tool (with the heavy lifting done in an > external tool so that other editors could also benefit cheaply from > advanced features like refactoring). > > We tend to work with really large code bases and cannot allow editors > we use to dictate the way we build and/or structure our tree. This > means that emacs/vim are currently closer to our needs than > eclipse/visual studio. This, however, might be very different for I agree. There are many different use cases, different types of developers with different goals and styles. Putting most of the heavy lifting into external tools so that can be integrated into any editor would be a great boon across the board. Actually, how did ocamlwizard go? I seemed to have missed the OSC results. The proposal looked promising.. Peng -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) iD8DBQFI/8OvfIRcEFL/JewRAnFeAJsFLZs4EfEsW4o7VoFY0g1oNQijHgCbBK/Y BOy2qu3Nomzng5bpJqT27is= =3Cmt -----END PGP SIGNATURE-----