From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Christophe.Troestler+ocaml@umh.ac.be>
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=AWL 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 6C0EFBC69
	for <caml-list@yquem.inria.fr>; Thu,  2 Aug 2007 14:39:59 +0200 (CEST)
Received: from hedwig1.umh.ac.be (hedwig2.umh.ac.be [193.190.193.73])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l72CdwdF017084
	for <caml-list@yquem.inria.fr>; Thu, 2 Aug 2007 14:39:59 +0200
Received: from poincare.swapping.umh.ac.be (pri-010.umh.ac.be [10.101.0.10])
	by hedwig1.umh.ac.be (8.13.6/8.13.6) with ESMTP id l72CidUV1982714;
	Thu, 2 Aug 2007 14:44:40 +0200
Received: from localhost ([127.0.0.1] ident=trch)
	by poincare.swapping.umh.ac.be with esmtp (Exim 4.67)
	(envelope-from <Christophe.Troestler+ocaml@umh.ac.be>)
	id 1IGZxe-0005DR-Ln; Thu, 02 Aug 2007 14:39:26 +0200
Date: Thu, 02 Aug 2007 14:39:26 +0200 (CEST)
Message-Id: <20070802.143926.193977654.Christophe.Troestler+ocaml@umh.ac.be>
To: Ed Keith <e_d_k@yahoo.com>
Cc: "O'Caml Mailing List" <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] OcaML & UML
From: Christophe TROESTLER <Christophe.Troestler+ocaml@umh.ac.be>
In-Reply-To: <587515.66812.qm@web54103.mail.re2.yahoo.com>
References: <587515.66812.qm@web54103.mail.re2.yahoo.com>
X-Face: #2fb%mPx>rRL@4ff~TVgZ"<[:,oL"`TUEGK/[8/qb58~C>jR(x4A+v/n)7BgpEtIph_neoLKJBq0JBY9:<qMr[nclFSC*8GVW;&@q*7^R?u"i{y>}8v|j
Organization: University of Mons-Hainaut
X-Mailer: Mew version 5.2.50 on Emacs 22.1 / Mule 5.0 (SAKAKI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Scanned-By: MIMEDefang 2.1 (www dot roaringpenguin dot com slash mimedefang)
X-Miltered: at discorde with ID 46B1D09E.004 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; ocaml:01 christophe:01 troestler:01 christophe:01 troestler:01 ocaml:01 mismatch:01 node:01 model:01 cheers:01 1828:98 wrote:01 caml-list:01 functions:01 umh:01 

On Thu, 2 Aug 2007 04:54:16 -0700 (PDT), Ed Keith wrote:
> 
> A potential client requires that the system be
> documented in UML, but do not specify what language it
> will be implemented in. I have used UML to document
> C++ and Java, and know UML is supposed to be
> implementation language independent, but am concerned
> that the impedance mismatch with Ocaml may make it
> impractical to combine UML and Ocaml. Any thoughts?

Maybe you will find the following discussion useful:
<http://lambda-the-ultimate.org/node/1828>.  As somebidy said:

  [...] you could use UML to model a system you plan to implement with
  FP: use class diagrams for modules, data members for data types and
  methods for functions.

Cheers,
ChriS