Re: safe vs. unsafe (Was: Haskell Platform proposal: Add the vector package)

Am Samstag, den 14.07.2012, 00:50 +0100 schrieb Thomas Schilling:

On 13 July 2012 23:58, Brandon Allbery wrote:

...

And now I'm having a "so what's the point?" moment? All this effort so we can just mark random stuff as Trusted anyway?

Well, the use of the term "Trustworthy" seems off. It really means "You need to trust this module".

If a module is declared “Trustworthy”, it means that the author thinks this module provides a safe interface, despite using unsafe features internally. If you then declare in your local installation that the package of that module is trustworthy, you say that you trust the author’s opinion about trustworthiness. Both things together make the module effectively trusted. Best wishes, Wolfgang