Le 9 nov. 07 à 19:09, Pierre Weis a écrit :

> In conclusion, I have to correct the runtime compatibility check for  
> formats
> to suppress the problem, and remove any mention of positional  
> parameters from
> the documentation, until I achieve the new type checking stuff for  
> format
> strings.

A question I have is why caml's formatting libraries were not  
deprecated in favor of an implementation using Danvy's functional  
unparsing [1]. This approach doesn't require an extension to the type  
system and if I read correctly these results [2] it seems at least as  
efficient as the current implementation. Scanf seems also doable [3].

The less complexity there is in the type system the safer we are in  
the end.

Best,

Daniel

[1] http://www.brics.dk/RS/98/12/
[2] http://tkb.mpl.com/~tkb/software/misc/cpsio-test.pdf
[3] http://caml.inria.fr/pub/ml-archives/caml-list/2002/04/156ee5ae044ee4ff06ff988b384be6c2.fr.html