From: Dave Mason <dmason@sarg.Ryerson.CA>
To: Andreas Rossberg <rossberg@ps.uni-sb.de>
Cc: OCAML <caml-list@inria.fr>, John Skaller <skaller@maxtal.com.au>
Subject: Re: convincing management to switch to Ocaml
Date: Sat, 28 Aug 1999 15:51:42 -0400 [thread overview]
Message-ID: <199908281951.PAA18613@sarg.Ryerson.CA> (raw)
In-Reply-To: Your message of "Fri, 27 Aug 1999 12:00:34 +0200." <37C661C2.D374D8F9@ps.uni-sb.de>
>>>>> 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.)
../Dave
next prev parent reply other threads:[~1999-08-30 13:49 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-07-28 14:47 STARYNKEVITCH Basile
1999-07-30 9:00 ` Markus Mottl
1999-08-13 10:32 ` John Skaller
1999-08-25 1:51 ` Frank A. Christoph
1999-08-25 3:50 ` John Skaller
1999-08-25 6:34 ` Frank A. Christoph
1999-08-26 18:36 ` Stefan Monnier
1999-08-29 6:08 ` John Skaller
1999-08-27 10:00 ` Andreas Rossberg
1999-08-28 6:24 ` John Skaller
1999-08-30 15:59 ` Sylvain BOULM'E
1999-08-31 5:50 ` Brian Rogoff
1999-08-28 19:51 ` Dave Mason [this message]
1999-08-30 19:05 ` Xavier Leroy
1999-08-30 8:02 ` Pierre Weis
1999-08-30 19:35 ` John Skaller
1999-08-31 17:10 ` Pierre Weis
1999-09-03 6:56 ` John Skaller
1999-08-31 19:03 ` Stefan Monnier
1999-09-03 7:28 ` John Skaller
1999-08-31 0:13 ` John Prevost
1999-08-31 5:19 ` John Skaller
1999-08-31 6:35 ` John Prevost
1999-09-03 5:42 ` John Skaller
1999-08-31 16:24 ` Gerard Huet
1999-07-30 14:42 ` John Skaller
1999-07-30 18:49 ` Gerd Stolpmann
1999-07-30 21:30 ` Francois Rouaix
1999-08-12 10:36 ` Reply to: " Jens Olsson
1999-08-16 18:33 ` Chris Tilt
1999-08-12 12:15 ` Frank A. Christoph
1999-08-15 8:14 ` Friedman Roy
-- strict thread matches above, loose matches on Subject: below --
1999-09-07 7:24 TommyHallgren
[not found] <John Skaller's message of "Tue, 31 Aug 1999 15:19:48 +1000">
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199908281951.PAA18613@sarg.Ryerson.CA \
--to=dmason@sarg.ryerson.ca \
--cc=caml-list@inria.fr \
--cc=rossberg@ps.uni-sb.de \
--cc=skaller@maxtal.com.au \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox