RE: ocaml?? why?? (was: [Xen-devel] caml stubdom crashes)

[Dan Magenheimer <dan.magenheimer@xxxxxxxxxx>]

> They already do: XenEnterprise is mostly implemented in ocaml.

Well, I suppose that's a good datapoint.  I wonder if the world's
supply of ocaml programmers all work for Citrix/Xensource. ;-)

But I'd question whether one good datapoint in a controlled
single-product single-company focused startup environment
is a good representation of the problems that might occur
in a broader (e.g. open source) bazaar.

> No problem so far with the language itself. 

This would seem to disagree with *No* problems.
http://cufp.galois.com/2008/slides/MadhavapeddyAnil.pdf

> -----Original Message-----
> From: Samuel Thibault [mailto:samuel.thibault@xxxxxxxxxxxx]
> Sent: Thursday, April 02, 2009 3:38 PM
> To: Dan Magenheimer
> Cc: xen-devel; Patrick Colp; Alex Zeffertt; George S. Coker, 
> II; Samuel
> Thibault
> Subject: Re: ocaml?? why?? (was: [Xen-devel] caml stubdom crashes)
> 
> 
> Dan Magenheimer, le Thu 02 Apr 2009 12:39:04 -0700, a écrit :
> > In other words, it may be a very fine academic/research
> > language... but do we really want enterprise customers'
> > critical workloads dependent on it?
> 
> They already do: XenEnterprise is mostly implemented in ocaml.  No
> problem so far with the language itself.  Personally, the 
> fact that the
> ocaml compiler is itself written in ocaml (typesafe blablabla 
> language)
> makes me trust it more that any gcc compiler.
> 
> Samuel
>

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel