On Tue, 30 Apr 2002 12:22:49 +0000 (UTC), frappo wrote:
> Unfortunately, Danvy's encoding relies on the fact that
> the format specification is *not* a string.
Isn't camlp4 the obvious solution to this problem?
Format strings could "just" be processed at compile-time
by a camlp4 extension that produces a Danvy-style encoding
out of the format string.
Runtime processing of format string is more problematic,
but who needs that, anyway? Instead of concatenating format strings,
you'd directly use Danvy-style combinators.

Just my 2.e-7 kg of gold worth.

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[  TUNES project for a Free Reflective Computing System  | http://tunes.org  ]
Mathematicians are like Frenchmen: whatever you say to them they
translate into their own language, and forthwith it is something
entirely different.
		-- Johann Wolfgang von Goethe
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners