[Haskell-cafe] Optimization with Strings ?
colinpauladams at googlemail.com
Fri Dec 4 04:16:21 EST 2009
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
> which is what it really is - unsafe in the wrong hands
> 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 ...
>> Can't it be removed?
>> Colin Adams
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe