[Haskell-cafe] Re: Pure Haskell Printf

[Keean Schupke]

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 
cast. Where
it fell down was all that automatic type promotion, and providing unsafe 
casts.

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.

Keean.