[Haskell-cafe] Re: Throwback of inferred types

Achim Schneider barsoap at web.de
Sun Jan 20 16:34:15 EST 2008

gwern0 at gmail.com wrote:

> Does that make sense? If the code doesn't compile, then how could any
> type-inference be trustable? 
Why, of course it is trustable, because it's going to fail, and that
means that the code has type a -> _|_.

(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited. 

More information about the Haskell-Cafe mailing list