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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 9A368BC0B for ; Sun, 4 Feb 2007 18:56:25 +0100 (CET) Received: from lion.seas.upenn.edu (LION.SEAS.upenn.edu [158.130.12.194]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l14HuOCZ020150 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sun, 4 Feb 2007 18:56:25 +0100 Received: from [158.130.12.234] (GRW74-1.CIS.upenn.edu [158.130.12.234]) (authenticated bits=0) by lion.seas.upenn.edu (8.13.6/8.13.6) with ESMTP id l14HuNOM028930 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Sun, 4 Feb 2007 12:56:23 -0500 Mime-Version: 1.0 (Apple Message framework v752.2) In-Reply-To: <60702.66.41.204.234.1170610830.squirrel@webmail.fischerventure.com> References: <1170603239.11113.11.camel@oxylin.no-ip.org> <60702.66.41.204.234.1170610830.squirrel@webmail.fischerventure.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <55DE94DC-A1F7-4A30-85FC-9270FFD77509@seas.upenn.edu> Content-Transfer-Encoding: 7bit From: Alwyn Goodloe Subject: Re: [Caml-list] Modeling tool for OCaml? Date: Sun, 4 Feb 2007 12:56:17 -0500 To: caml-list@inria.fr X-Mailer: Apple Mail (2.752.2) X-Miltered: at concorde with ID 45C61E48.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; alwyn:01 goodloe:01 ocaml:01 ocaml:01 alwyn:01 whiteboard:01 ocamldoc:01 beginner's:01 bug:01 2007,:98 beginners:01 wrote:01 upenn:01 caml-list:01 caml-list:01 I've always wondered that maybe old fashioned dataflow diagrams from the 80s might work a lot better than UML for large ocaml programs. I don't even know if they publish books on that anymore, but it might be worth a look. Alwyn On Feb 4, 2007, at 12:40 PM, Robert Fischer wrote: >> For my first post to this mailing list, I'm going to ask you the >> modeling tool(s) you use commonly for your applications written in >> OCaml? >> > Whiteboard, mainly. Sometimes pencil and paper. If I'm really > gung-ho, > I'll use LaTeX (generally ripped from the ocamldoc). > > Unlike the imperative object-oriented world, where the relationships > between types are complicated systems with profound (and somewhat > mysterious) consequences, the 'function catalog' approach in OCaml > most > libraries undercuts the value of any kind of modelling. > > And this is from someone who is a fan of visual models for Java/C# > apps. > > ~~ Robert Fischer. > Fischer Venture Management Corporation > > _______________________________________________ > 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