[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Martin Jambon <martin.jambon@e...> |
| Subject: | Re: [Caml-list] A sound semantics for OCaml light |
On Fri, 9 Nov 2007, Scott Owens wrote: > We are pleased to announce the public release of OCaml light, a formal > semantics for a substantial, practical subset of the Objective Caml language. May I suggest another name? There's already Caml light. In my opinion, having the name start with "ocaml" is a good idea (or should even be mandatory for every ocaml-derived product). It should just be followed by something that is reasonably not ambiguous. Martin -- http://wink.com/profile/mjambon http://martin.jambon.free.fr