Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Threats on future of Camlp4
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-10-06 (20:50)
From: Daniel de Rauglaudre <daniel.de_rauglaudre@i...>
Subject: Re: [Caml-list] Threats on future of Camlp4

On Sun, Oct 06, 2002 at 04:28:43PM -0400, Dave Mason wrote:

> I don't know who decided that camlp4 was the way to do that, but
> somebody did, and so I hope that at least that much of camlp4 comes as
> part of the ocaml distribution.

I did. Actually, the streams are just syntactic sugar, and their place
is in a preprocessor. In the very first version of OCaml, there were
no streams. I had added them, because there were not Camlp4 at this

The problem of the streams inside OCaml is that the generated code
is very inefficient. To be more efficient, one has to optimize the
code (the generated source code), and it is very easy to do with
Camlp4 (thanks to the quotations) and very hard in OCaml (no
quotation and, moreover, a syntax tree too complicated).

> It may meet your (Daniel's) personal wishes that camlp4 be separated
> from ocaml, but I think that for the rest of us, it is better that it
> be shipped with ocaml.

For me it is better also. But I cannot work under a system whose
director considers my work as a "waste of time". Sorry. Or explain
him to stop telling that!

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: