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.9 required=5.0 tests=AWL,NO_REAL_NAME, RCVD_NUMERIC_HELO,SPF_SOFTFAIL autolearn=disabled version=3.1.3 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 E5D81BBAF for ; Sat, 26 Jul 2008 11:03:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhEHAOeEikjAXQIm/2dsb2JhbACITokFWptr X-IronPort-AV: E=Sophos;i="4.31,255,1215381600"; d="scan'208";a="13475458" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Jul 2008 11:03:03 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6Q933Re002093 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 26 Jul 2008 11:03:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhEHAGCFikjAI/YU/2dsb2JhbACITokFWptt X-IronPort-AV: E=Sophos;i="4.31,255,1215381600"; d="scan'208";a="27698562" Received: from trubo.inescn.pt ([192.35.246.20]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Jul 2008 11:03:02 +0200 Received: from localhost (localhost [127.0.0.1]) by trubo.inescn.pt (8.13.8/8.13.8/5) with ESMTP id m6Q9306f018504; Sat, 26 Jul 2008 10:03:00 +0100 X-Virus-Scanned: amavisd-new at inescporto.pt Received: from trubo.inescn.pt ([127.0.0.1]) by localhost (trubo.inescn.pt [127.0.0.1]) (amavisd-new, port 10024) with LMTP id r5MvVWY6F3f3; Sat, 26 Jul 2008 10:02:51 +0100 (WEST) Received: from localhost (animal.inescn.pt [192.35.246.1]) by trubo.inescn.pt (8.13.8/8.13.8/43) with ESMTP id m6Q92kPN018485; Sat, 26 Jul 2008 10:02:46 +0100 Received: from 136.249.54.77.rev.vodafone.pt (136.249.54.77.rev.vodafone.pt [77.54.249.136]) by webmail.inescporto.pt (IMP) with HTTP for ; Sat, 26 Jul 2008 10:02:46 +0100 Message-ID: <1217062966.488ae8367f0d2@webmail.inescporto.pt> Date: Sat, 26 Jul 2008 10:02:46 +0100 From: hmf@inescporto.pt To: Jon Harrop Cc: caml-list@inria.fr Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Internet Messaging Program (IMP) 3.2.3 X-Originating-IP: 77.54.249.136 X-Miltered: at discorde with ID 488AE847.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 camlp:01 lablgtk:01 emacs:01 dependencies:01 ghostscript:01 ocaml's:01 ocaml's:01 typechecker:01 plug-in:98 hover:98 wrote:01 wrote:01 unix:01 Hello again, Jon Harrop wrote: > On Saturday 26 July 2008 01:24:02 Erik de Castro Lopo wrote: >> Jon Harrop wrote: >>> If I might stick my oar in: why don't the OCaml community write an IDE >>> for OCaml in OCaml using Camlp4 for parsing with throwback and LablGTK >>> for the GUI? >> Most people who actually code in Ocaml do so using the best IDE on >> the planet, Unix. For those people an IDE is a step backwards and >> hence they have no interest in writing one. > I am sceptical of comments such as those of Erik's (no disrespect intended here). I suspect these people either have not tried using an IDE or simply haven't made the effort to learn to use the IDE and take full advantage of it. Which is surprising since mastering Ocaml requires much effort, and all here seem to agree that the added productivity of using Ocaml is worth it ;-). In fact mastering emacs, vi, etc. with all those "modes" also requires a lot of work. Why should the use of an IDE be any different? > Graphical throwback of documentation is invaluable for interactive API > exploration, particularly in the context of GUI programming (I currently > trawl through ocamlbrowser's useful but very basic interface). A GUI to > browse and visualize performance profiles is useful (I currently browse > gprof's output as plain text files using KWrite). A GUI to visualize > dependencies is useful (I currently lookup the use of "dot" every time I need > it and the PostScript output is typically mangled by GhostScript). > >> So I have an idea; why don't *you* write a cross platform IDE and if >> it really is better than Unix then people would use it. > > I shall see if it is feasible to develop such an application within an OCaml > Journal article or two. I think it would be both very useful and a very > instructive educational exercise combining several of OCaml's strengths. Jon, I would really be interested if you could report back on your experiences. > > However, the resulting program would most likely be difficult to distribute > due to licensing issues (e.g. if you want to reuse OCaml's typechecker or > top-level) and could not be a viable commercial product due to the > limitations of OCaml itself. > I am not sure how it was done in OcalIDE but we have full function signatures (we need only hover above the function). I guess if parsing is done via another tool this would not be a problem. Could ask the OcalIDE folks how its done. Rgrds, H.F