From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA17360; Wed, 1 May 2002 17:40:18 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA17343 for caml-list@pauillac.inria.fr; Wed, 1 May 2002 17:40:13 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA26998 for ; Tue, 30 Apr 2002 15:58:03 +0200 (MET DST) Received: from kraid.nerim.net (kraid.nerim.net [62.4.16.95]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g3UDvv511057 for ; Tue, 30 Apr 2002 15:58:02 +0200 (MET DST) Received: from Samaris (samaris.tunes.org [80.65.225.191]) by kraid.nerim.net (Postfix) with ESMTP id 038E840F3A for ; Tue, 30 Apr 2002 15:48:31 +0200 (CEST) Received: from fare by Samaris with local (Exim 3.35 #1) id 172Y2m-0007j1-00 for caml-list@inria.fr; Tue, 30 Apr 2002 15:51:48 +0200 Date: Tue, 30 Apr 2002 15:51:47 +0200 From: Francois-Rene Rideau To: caml-list@inria.fr Subject: [Caml-list] printf and scanf Message-ID: <20020430135147.GA29653@hell.mine.nu> Reply-To: Francois-Rene Rideau Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.3.28i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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