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
Re: convincing management to switch to Ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-08-30 (13:49)
From: Dave Mason <dmason@s...>
Subject: Re: convincing management to switch to Ocaml
>>>>> On Fri, 27 Aug 1999 12:00:34 +0200, Andreas Rossberg <rossberg@ps.uni-sb.de> said:

>[many things I agree with!]

> A document defining the language more formally than the user manual
> would definitely be a good thing. If a standard is needed then one
> has to stick to Standard ML for now, I'm afraid.

Would it really be beyond a Master's student working under Xavier (or
other CAML guru) to translate the SML formal spec into a CAML formal
spec?  Or at least a PhD student.

I think it would be a Very Good Thing!  (And would make the semantic
differences between the languages very explicit.)