[Haskell-cafe] Very freaky

Stefan O'Rear stefanor at cox.net
Tue Jul 10 16:06:38 EDT 2007

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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070710/d7086b20/attachment.bin

More information about the Haskell-Cafe mailing list