bug#12033: format should be faster

[Ludovic Courtès]

Hi!

nalaginrut <address@hidden> skribis:

> Our "format" is rather slow,

What makes you say so?

Did you make sure that the output port you’re writing to is buffered
(this is not the case by default!)?  See ‘setvbuf’.

> can we make it faster?  I can only output strings with display if I
> need an faster program, which is not so elegant.

Until (ice-9 format) is loaded, ‘format’ is an alias for
‘simple-format’, which is implemented in C, less capable but faster than
(ice-9 format).  Perhaps that’s usable for your use case?

Thanks,
Ludo’.