English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2007-11-08 (20:53)
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.