13 Jul
2012
13 Jul
'12
7:50 p.m.
On 13 July 2012 23:58, Brandon Allbery
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". Maybe it would better be called "TrustNeeded". Trust is something only you can decide upon (though possibly based on what other people trust, too). I'm still not convinced that it's going to be practical enough for applications such as an online Haskell evaluator. I think they point out in the paper that their definition of "safe" /= "secure".