[bitc-dev] Application vs. Systems programming

[Greg Buchholz]

Jonathan S. Shapiro wrote:
> 
> Varargs is a bad idea, because it is unsafe. All of the *safe* uses of
> varargs are subsumed by type classes when we implement them. The
> remaining cases are things like printf(). If you put printf() and the
> like into the language you lose ALL of the advantages of BitC.

    FWIW, as long as we're talking printf(), here are two different
type-safe methods to implement it...

http://www.brics.dk/RS/98/12/
http://research.microsoft.com/Users/simonpj/papers/meta-haskell/meta-haskell.ps


Greg Buchholz