Talk:OCaml/Introduction

Claim that Java and C# are not statically typed needs substantiation.

-- Well, Java and C# can have dynamic type errors (typically, during casts) Yoric (talk) 12:02, 4 March 2009 (UTC)

Claim that OCaml is declarative needs work too - I don't think of OCaml as that declarative a language, and I don't know many that use it that way either. Maybe the functional subset of OCaml is declarative, but the functional subset of C# is declarative too.

-- Well, OCaml aims to allow declarative programming. That doesn't mean that its fully declarative, tough. Yoric (talk) 12:02, 4 March 2009 (UTC)

I'm not sure it is fair to say that "MetaOCaml is for writing compilers". MetaOCaml aims at, among other things, speeding-up computations by precomputing the code to solve problem instances.