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

Brandon Allbery allbery.b at gmail.com
Sat Jul 14 14:27:21 CEST 2012


On Sat, Jul 14, 2012 at 3:16 AM, Henning Thielemann <
lemming at henning-thielemann.de> wrote:

> On Fri, 13 Jul 2012, 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?
>>
>
> Today we have 'unsafePerformIO'. So if we praise the merits of Haskell's
> strong type system and then mention 'unsafePerformIO' the audience will ask
> "so what's the point of type safety then?" Well, the point is that
> unsafePerformIO is strongly discouraged and every use of it should be
> considered carefully.
>

We've just been told *not* to consider carefully for purposes of marking a
module as Trustworthy; an argument based on considering carefully is not
relevant.

-- 
brandon s allbery                                      allbery.b at gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20120714/0ee53654/attachment.htm>


More information about the Libraries mailing list