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: 2007-11-10 (15:07)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] OCaml's formatting libraries
On Saturday 10 November 2007 14:32, Bünzli Daniel wrote:
> 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].

Functional unparsing requires a lot more code, produces worse error messages, 
is much harder to learn, is incompatible with the excellent Format module, 
and the number of OCaml programs performance bound by these advanced printf 
constructs is negligible.

I'd much rather see effort put into visualization and GUI tools rather than 
ASCII text tools...

Dr Jon D Harrop, Flying Frog Consultancy Ltd.