On Monday 18 July 2005 19:15, Robert Morelli wrote:
> With all due respect,  claims of order of magnitude productivity
> gains,  that OCaml is a far better language than Java,  etc.  are
> exactly the kind of advocacy that I think is counterproductive.
> Most programmers would regard such dramatic statements as implausible,
> if not preposterous.

Although "preposterous", I agree that OCaml is an order of magnitude more 
productive than C++. I also agree that code maintainance is the main reason 
for this.

> The use of type checking is a point where the FP community
> has not reached consensus,  as there are widely divergent views from
> the Scheme community and the ML and Haskell communities.

I have seen huge improvements in productivity only from statically typed 
languages. More importantly, I can do many things in OCaml which I could not 
have done in C++ because they were practically impossible.

> In general,  I believe that OCaml and its approach to static typing
> are best suited to simple domains,  like language tools and formal
> methods.

Firstly, those domains are not simple (quite the opposite, in fact!). 
Secondly, OCaml has already been applied with great success to many, wildly 
different problem domains. For example, we have found OCaml to be very 
beneficial in the areas of scientific computing and graphics. The fact that 
people like Alex and I are able to run our companies this is a testament to 
this fact.

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Technical Presentation Software
http://www.ffconsultancy.com/products/presenta