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
Search for the smallest possible possible Ocaml segfault....
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Bünzli_Daniel <daniel.buenzli@e...>
Subject: OCaml's formatting libraries

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.