I'd like to add some of my reflections to the discussion:

>* Ocaml is an academic langage

Functional languages are in use in the industry. I have working
experience with Erlang which is a functional language used in real time
telecom software. This particular language (as far as I know anyway)
is being developed from scratch by and for the industry. See
www.erlang.org for information if interested.

>* Ocaml is a slow implementation

I think Ensemble could be a good example of rather advanced software
developed in Ocaml that achieves very good performance compared to
C/C++ equivalents.

/Jens


--
--[ Jens Olsson ]-----------------------------------------------------
  [Address]            [Phone]                 [WWW]
  Djäknegatan 13, 1tr  Home: 018 -  24 88 77   jenso@csd.uu.se     
  754 23 Uppsala       Work: 018 - 471 76 85   www.csd.uu.se/~jenso
  SWEDEN               Cell: CEASED!!!         ICQ UID 8955231
---------------------------------[ CS student @ Uppsala University ]--