Version française
Home     About     Download     Resources     Contact us    
Browse thread
Smoke Vector Graphics: source code licenses for sale
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Edgar Friendly <thelema314@g...>
Subject: Re: [Caml-list] Smoke Vector Graphics: source code licenses for sale
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.