Re: [Haskell-cafe] Generic polyvariadic printf in Haskell98

2009-06-06 Thread Max Cantor
To be fair, isn't the printf typing in ocaml a massively ugly hack to the type system? Isn't there an example in the template haskell tutorial that gives a typesafe, clean generic printf function? Max On Jun 5, 2009, at 4:29 PM, Erik de Castro Lopo wrote: o...@okmij.org wrote: Still, th

Re: [Haskell-cafe] Generic polyvariadic printf in Haskell98

2009-06-05 Thread Erik de Castro Lopo
o...@okmij.org wrote: > Still, the code is a bit unsatisfactory because of the appearances of > "error" in pr_aux functions. The errors like passing too many or too > few arguments to printf (as demanded by the format specification) are > caught only at run-time. We can certainly do better. I'd l

[Haskell-cafe] Generic polyvariadic printf in Haskell98

2009-06-05 Thread oleg
Evan Klitzke wrote: > I'm writing code with hslogger, and I'm finding myself frequently > writing things like this: > > infoM $ printf "%s saw %s with %s" (show x) (show y) (show z) Indeed writing these `show' is tedious. Fortunately, we can get rid of them, still remaining in Haskell98. The fol