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=0.0 required=5.0 tests=none 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 51FDEBBAF for ; Sat, 26 Jul 2008 04:57:31 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArEEAFsvikjAXQIm/2dsb2JhbACCOaxr X-IronPort-AV: E=Sophos;i="4.31,255,1215381600"; d="scan'208";a="13471475" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Jul 2008 04:57:31 +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 m6Q2vUEh027658 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 26 Jul 2008 04:57:30 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4AANMvikjUnw7Vmmdsb2JhbACCOZAVAQEBAQEIBQgHEQOcMA X-IronPort-AV: E=Sophos;i="4.31,255,1215381600"; d="scan'208";a="27694059" Received: from ptb-relay02.plus.net ([212.159.14.213]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 26 Jul 2008 04:57:30 +0200 Received: from [90.192.139.40] (helo=beast.local) by ptb-relay02.plus.net with esmtpa (Exim) id 1KMZyL-0003fB-6s for caml-list@inria.fr; Sat, 26 Jul 2008 03:57:29 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@inria.fr Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans Date: Sat, 26 Jul 2008 03:57:40 +0100 User-Agent: KMail/1.9.9 References: <18587175.post@talk.nabble.com> <200807260056.26888.jon@ffconsultancy.com> <20080726102402.b0bcbd3c.mle+ocaml@mega-nerd.com> In-Reply-To: <20080726102402.b0bcbd3c.mle+ocaml@mega-nerd.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200807260357.40358.jon@ffconsultancy.com> X-Plusnet-Relay: e6ffb69dd9792234468cb12104984be6 X-Miltered: at discorde with ID 488A929A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 camlp:01 lablgtk:01 dependencies:01 ghostscript:01 ocaml's:01 ocaml's:01 typechecker:01 plug-in:98 frog:98 wrote:01 wrote:01 unix:01 unix:01 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. 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. 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. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e