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

[Wolfgang Jeltsch]

Am Samstag, den 14.07.2012, 00:50 +0100 schrieb Thomas Schilling:
> On 13 July 2012 23:58, Brandon Allbery <allbery.b at gmail.com> 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