[Haskell-cafe] Optimization with Strings ?

[Colin Adams]

But the type system doesn't insist on such a proof - so is it not a hole?

2009/12/4 Neil Davies <semanticphilosopher at googlemail.com>:
> Or maybe it should be renamed
>
>  proofObligationsOnUseNeedToBeSupliedBySuitablyQualifiedIndividualPerformIO
>
> which is what it really is - unsafe in the wrong hands
>
> Nei
>
> On 4 Dec 2009, at 08:57, Colin Adams wrote:
>
>>> Please help me understand the holes in Haskell's type system.
>>
>> Not really wanting to support the troll, but ...
>>
>> unsafePerformIO?
>>
>> Can't it be removed?
>> --
>> Colin Adams
>> Preston,
>> Lancashire,
>> ENGLAND
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>



-- 
Colin Adams
Preston,
Lancashire,
ENGLAND