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=1.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id BC727BC0B for ; Thu, 25 Jan 2007 15:44:07 +0100 (CET) Received: from ron.emn.fr (sicnat2.emn.fr [193.54.76.193]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0PEi65k013163 for ; Thu, 25 Jan 2007 15:44:07 +0100 Received: from spip.dsic.emn.fr (root@spip.dsic.emn.fr [193.104.32.156]) by ron.emn.fr (8.9.3/jtpda-5.3.1) with ESMTP id PAA05180 ; Thu, 25 Jan 2007 15:42:45 +0100 (CET) Received: from ifs.emn.fr (ifs.emn.fr [193.54.76.100]) by spip.dsic.emn.fr (8.13.8/8.12.1) with ESMTP id l0PEhxqE026747; Thu, 25 Jan 2007 15:43:59 +0100 Received: from localhost.localdomain (pad@dhcp66.rech18.emn.fr [192.168.18.66]) by ifs.emn.fr (8.9.3/jtpda-5.1) with ESMTP id PAA29306 ; Thu, 25 Jan 2007 15:42:33 +0100 (MET) From: Yoann Padioleau To: Jon Harrop Cc: "OCaml List" Subject: Re: [Caml-list] designing Ocaml programs with a graphical modeling language ? References: <45B736BC.9010808@atosorigin.com> <200701241901.37939.jon@ffconsultancy.com> <45B88884.4060300@atosorigin.com> <200701251221.10701.jon@ffconsultancy.com> Date: Thu, 25 Jan 2007 15:42:58 +0100 In-Reply-To: <200701251221.10701.jon@ffconsultancy.com> (Jon Harrop's message of "Thu, 25 Jan 2007 12:21:10 +0000") Message-ID: <87tzyfdv65.fsf@wanadoo.fr> User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-j-chkmail-Score: MSGID : 45B8C236.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 45B8C236.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 haskell:01 fpls:01 dependencies:01 ocaml:01 beginner's:01 bug:01 phane:98 frog:98 beginners:01 wrote:01 writes:01 caml-list:01 caml-list:01 exceptions:01 Jon Harrop writes: > On Thursday 25 January 2007 10:37, St=C3=A9phane DUPRAT wrote: >> ... >> As for me, I think that designing with a graphical modeling language >> could be profitable. I know "Visual Haskell", maybe it can helps http://ptolemy.eecs.berkeley.edu/~johnr/papers/visual.html > > I see. While I haven't seen any graphical modelling languages for FPLs, t= here=20 > are tools to automate the visualisation of dependencies. I found them qui= te=20 > useful (and fun!). > > I'd like some tools to plot OCaml call graphs and so on.=20 You can run your program with profiling on and then use the callgraph generated by gprof and pass it into dot.=20 > Also to find=20 > exceptions that can propagate to the top level (I never got ocamlexn to=20 > work). > > --=20 > Dr Jon D Harrop, Flying Frog Consultancy Ltd. > Objective CAML for Scientists > http://www.ffconsultancy.com/products/ocaml_for_scientists > > _______________________________________________ > 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