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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 5BD60BBAF for ; Tue, 21 Oct 2008 15:15:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwBAIty/UjRVY67kGdsb2JhbACTMj4BAQEBCQkMBxEDqEh/h2gBAwEDg00 X-IronPort-AV: E=Sophos;i="4.33,457,1220220000"; d="scan'208";a="16321551" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Oct 2008 15:15:00 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9LDExpE011024 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 21 Oct 2008 15:15:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwBAIty/UjRVY67kGdsb2JhbACTMj4BAQEBCQkMBxEDqEh/h2gBAwEDg00 X-IronPort-AV: E=Sophos;i="4.33,457,1220220000"; d="scan'208";a="16321550" Received: from ti-out-0910.google.com ([209.85.142.187]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Oct 2008 15:14:59 +0200 Received: by ti-out-0910.google.com with SMTP id d27so1579471tid.9 for ; Tue, 21 Oct 2008 06:14:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=H1A1Z7sOVh0jGyt4bP0dr0RgPc6KTFIqiH+znzjmv3o=; b=NXFfsov+lVI/FSdYkEQawYGl2ske1bHdyaZ8rl7Zq8NZjzigGSjLcjKJLEYjjrf+3p /52KEY8jYLov3c6YcC/tbIIGZwTc/h6XZ1sM+BIUQ151l36ZLOHDBdrrPJjpYpS3vq8M T6PbXNNWMWChTxHcCaqXb2Wn5li4ZtwzLn/ZQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=Ovg9WYEaNC4ETUB3+UCrHmEgeb1RQoadDZEq93FQjYsqHWI/YTSTNDkiy2mJw0Du// pS5RRQ/WSul24/wgJ01ChhoyOUW4zGoNuwwjp6SkXqr5kB/lSiKIV0Na9fc6Vd+rB4+2 fgCCXu03r+xxBaAusAeM25SR09AGDLz2znGfU= Received: by 10.110.43.20 with SMTP id q20mr6011496tiq.15.1224594896069; Tue, 21 Oct 2008 06:14:56 -0700 (PDT) Received: by 10.110.47.15 with HTTP; Tue, 21 Oct 2008 06:14:55 -0700 (PDT) Message-ID: <90823c940810210614q2536cc7fj3f8f2ee330e41b7e@mail.gmail.com> Date: Tue, 21 Oct 2008 17:14:55 +0400 From: "Dmitry Bely" To: caml-list@inria.fr Subject: Re: [Caml-list] What does Jane Street use/want for an IDE? What about you? In-Reply-To: <200810200919.41561.ober.14@osu.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <200810200919.41561.ober.14@osu.edu> X-Miltered: at concorde with ID 48FDD5D3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 20,:98 hyperlink:98 imho:01 wrote:01 dmitry:01 dmitry:01 caml-list:01 bely:01 bely:01 supported:02 debugging:03 osu:07 graphical:07 On Mon, Oct 20, 2008 at 5:19 PM, 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? What would be the minimal set of functionality > that would make you happy for an IDE? What are killer features > you dream of? I really like OcaIDE (http://ocaml.eclipse.ortsa.com:8480/ocaide/). It's Eclipse plugin so Windows is fully supported (including graphical debugging). IMHO it's (almost) ready for commercial development. Many features are very convenient: hyperlink jumps, code outline, type tooltip on mouse hoovering, completion etc. Give it a try. - Dmitry Bely