Language ref sales pitch says that C functions are unsafe

[brson]

This is not currently true.

[boggle]

And they can even be declared as pure (which probably needs to be added to the ref as well)

[DylanLukes]

Some compilers have a __pure attribute, and C++ can append const, but declaring functions as pure is not in the C standard at all.

[graydon]

Pure is an annotation for rust functions. It's sensible to apply to some imported c functions.

[DylanLukes]

Oh, you meant within rust. Alright. Can the safety/purity be verified though?

[graydon]

No. It's just a "trust me" assertion in the context of an external C function.

[brson]

Sales pitch is gone.