[Haskell-cafe] Re: Pure Haskell Printf
k.schupke at imperial.ac.uk
Tue Nov 16 06:20:46 EST 2004
Andreas Rossberg wrote:
> Keean Schupke wrote:
>> Remember C is typesafe
> In which parallel universe?
I of course meant strongly-typed, you cannot pass a pointer to an int
where a pointer
to a float is required ... modern C compilers require you to explicitly
it fell down was all that automatic type promotion, and providing unsafe
There is now a typesafe 'C', but I can't remember what it is called -
presumably it uses some kind of linear-alias typing to make pointers safe.
More information about the Haskell-Cafe