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.8 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 5D6BDBBAF for ; Mon, 20 Oct 2008 21:54:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al8BAIB+/EjRVdkPmGdsb2JhbACMOYZ4PgEBAQEBCAkMBxGoDwh3hjUBAwEDg2mBQA X-IronPort-AV: E=Sophos;i="4.33,453,1220220000"; d="scan'208";a="30551964" Received: from mail-gx0-f15.google.com ([209.85.217.15]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Oct 2008 21:54:13 +0200 Received: by gxk8 with SMTP id 8so4969045gxk.3 for ; Mon, 20 Oct 2008 12:54:12 -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=ilFFp2Jl1TSGOa4Jjiea1yq6WhK/13pD1vz/w1V0qXw=; b=ZIkqYRt8dc9toy0f7Vp0YhBdb1HLzQMcGPOCOqndOMnKA0Y/uwQfF+PAbRgCIE6Y+V GiHeGKj/egvpUcQE/HsItRKqBrYLL9AIIt0WTH7ke2cAqiSIRjxOrwwj3OgQIvquHOg3 YFpz2wj+lcbpWlsQCIQ6o8vd2266B9PZ3iIuE= 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=kbflWIaJfcPD2WtOxH9cWcd7esWrCpEqYIDx66HSyYka8q1J1Y26YgrT2d0CAMIT4/ oVcr9hltj8o2ZIBKkuEACKWKWM5DCXK1CHLbhuZzyFwGzj7MxV3BJYblY5Ct8b2puoe6 CLzj/9AJtPj5z6XLlYim+wXS376WxLYExgLRU= Received: by 10.231.10.140 with SMTP id p12mr4570749ibp.27.1224532452173; Mon, 20 Oct 2008 12:54:12 -0700 (PDT) Received: from lawn-143-215-204-204.lawn.gatech.edu (lawn-143-215-204-204.lawn.gatech.edu [143.215.204.204]) by mx.google.com with ESMTPS id 9sm7526670yws.5.2008.10.20.12.54.10 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 20 Oct 2008 12:54:11 -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: Mon, 20 Oct 2008 15:54:06 -0400 User-Agent: KMail/1.9.7 Cc: Andres Varon , Kuba Ober , caml users References: <200810200919.41561.ober.14@osu.edu> <20081020133711.GP14123@janestcapital.com> <734D0A75-F94B-4FCE-A494-E993C93CEFD5@gmail.com> In-Reply-To: <734D0A75-F94B-4FCE-A494-E993C93CEFD5@gmail.com> Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200810201554.09628.peng.zang@gmail.com> X-Spam: no; 0.00; hash:01 toplevel:01 shinwell:01 ocaml:01 beginner's:01 ocaml:01 bug:01 beginner's:01 bug:01 peng:98 peng:98 20,:98 20,:98 beginners:01 beginners:01 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 I have written smart autocompletion based on the toplevel in a mode I call SOLID. http://www.cc.gatech.edu/~pengzang/tools.html I've never gotten around to announcing it because it takes time to polish up and write good doc... time that I haven't had of late. However, I have been using it myself for a while and a handful of random people have emailed me about it and it works with them so, it may work for you. Now seems as good a time as any to tell people about since I've held off for over a year saying anything.. Peng On Monday 20 October 2008 10:33:28 am Andres Varon wrote: > On Oct 20, 2008, at 9:37 AM, Mark Shinwell wrote: > > On Mon, Oct 20, 2008 at 09:19:40AM -0400, Kuba Ober wrote: > >> I have questions to the kind folks at Jane Street, > >> and others who use OCaml for commercial/non-research > >> development: what do you guys use for your development > >> environment? > > > > vim in an xterm for me :) > > > >> What are killer features you dream of? > > > > Something along the lines of Jun Furuse's ocamlspotter work, with good > > editor integration, is probably highest on my list at the moment. > > Being a vim user myself, good editor integration is also very > important to me. My wish list has only one killer feature: smart > autocompletion, that would really increase the productivity of new > programmers and would make it easier to learn new modules. > > Andres > > > Mark > > > > _______________________________________________ > > Caml-list mailing list. Subscription management: > > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > > Archives: http://caml.inria.fr > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) iD8DBQFI/OHhfIRcEFL/JewRAitYAKCkwkPaD3A/uf/N6NBM3QyShyz2egCeJsna fqAFuuuiwCmcdDdGL8ahKG0= =T7T8 -----END PGP SIGNATURE-----