[Haskell-cafe] Re: Haskell Propeganda

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Mon Aug 25 00:38:49 EDT 2008

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

More information about the Haskell-Cafe mailing list