On Tue, Jul 10, 2007 at 08:59:16PM +0100, Andrew Coppin wrote: >> http://haskell.org/haskellwiki/Curry-Howard-Lambek_correspondence might >> be interesting - same idea, but written for a Haskell audience. >> > > An interesting read - although again a little over my head. > > I find myself wondering... A polymorphic type signature such as (a -> b) -> > a -> b says "given that a implies b and a is true, b is true". But what > does, say, "Maybe x -> x" say?
Given that x may or may not be true, x is definitely true. Which, of course, is absurd. Stefan
signature.asc
Description: Digital signature
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
