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.2 required=5.0 tests=AWL 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 38887BC0B for ; Sun, 4 Feb 2007 18:40:45 +0100 (CET) Received: from webmail4.sd.dreamhost.com (webmail4.sd.dreamhost.com [64.111.100.16]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l14Hehqx016217 for ; Sun, 4 Feb 2007 18:40:44 +0100 Received: from webmail.fischerventure.com (localhost [127.0.0.1]) by webmail4.sd.dreamhost.com (Postfix) with ESMTP id C5E4130206 for ; Sun, 4 Feb 2007 09:40:30 -0800 (PST) Received: from 66.41.204.234 (SquirrelMail authenticated user robert@fischerventure.com) by webmail.fischerventure.com with HTTP; Sun, 4 Feb 2007 11:40:30 -0600 (CST) Message-ID: <60702.66.41.204.234.1170610830.squirrel@webmail.fischerventure.com> In-Reply-To: <1170603239.11113.11.camel@oxylin.no-ip.org> References: <1170603239.11113.11.camel@oxylin.no-ip.org> Date: Sun, 4 Feb 2007 11:40:30 -0600 (CST) Subject: Re: [Caml-list] Modeling tool for OCaml? From: "Robert Fischer" To: caml-list@inria.fr User-Agent: SquirrelMail/1.4.9a MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 45C61A9B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 whiteboard:01 ocamldoc:01 caml-list:01 imperative:01 latex:02 types:03 generally:03 pencil:96 apps:04 somewhat:05 written:07 approach:08 modelling:08 > 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