[Haskell-cafe] Re: Haskell Propeganda

[Brandon S. Allbery KF8NH]

On 2008 Aug 25, at 0:33, Ashley Yakeley wrote:
> Don Stewart wrote:
>> You just wrote unsafeCoere# a different way:
>>        typeOf T = typeOf (undefined :: IORef ())
>
> Right. It's straightforward to write unsafe segfaulting code in  
> apparently safe Haskell.

typeOf / Typeable is itself an ugly special case, and really should be  
designed into the language:  it's about runtime type information.

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH