Alexandre Pilkiewicz wrote:
> Do you think it may be possible one day for OCaml to have a normalisation, 
> like Haskell had in 1998, and if it's allready the case, where can I find 
> it ?
> 
I don't see the need for formalizing the OCaml language - If we tried to
characterize what the current compiler did, we'd fail in many many
details.  And if we tried to write a spec independent of the compiler,
all of a sudden we'd just introduce hundreds of bugs into the compiler
because of its deviation from the spec.

Formal specifications have use in strictly "research" languages, but I
see their ability to stifle growth and improvement as more negative than
their ability to help people understand the proper operation of OCaml.

E.