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