Re: [Haskell-cafe] Equality Question

2007-10-16 Thread Dan Weston
Your intuition that id is related to const is a good one, since id can be defined in terms of const. Here is one of many: id' = flip const const [This is also called a CKK combinator. See http://en.wikipedia.org/wiki/S_combinator#Combinatory_calculi for more examples, such as SKK, SKS, and va

Re: [Haskell-cafe] Equality Question

2007-10-16 Thread Thomas Hartman
t;[EMAIL PROTECTED]> Sent by: [EMAIL PROTECTED] 10/15/2007 06:56 PM To haskell-cafe@haskell.org cc Subject [Haskell-cafe] Equality Question Hi is const = id? const 'x' 'y' 'x' id 'x' 'x' Cheers, Paul

Re: [Haskell-cafe] Equality Question

2007-10-16 Thread Thomas Hartman
]> Sent by: [EMAIL PROTECTED] 10/15/2007 06:56 PM To haskell-cafe@haskell.org cc Subject [Haskell-cafe] Equality Question Hi is const = id? const 'x' 'y' 'x' id 'x' 'x' Cheers, Paul ___ Hask

Re: [Haskell-cafe] Equality Question

2007-10-15 Thread Bryan O'Sullivan
PR Stanley wrote: is const = id? No, const is saturated with 2 arguments, id with 1. const 1 2 -> 1 id 1 2 -> type error http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Equality Question

2007-10-15 Thread Felipe Lessa
On 10/15/07, PR Stanley <[EMAIL PROTECTED]> wrote: > Hi > is const = id? You answered the question yourself > const 'x' 'y' > 'x' > id 'x' > 'x' const has another parameter. Their types are id:: a -> a const :: a -> b -> a HTH, -- Felipe. ___ H

[Haskell-cafe] Equality Question

2007-10-15 Thread PR Stanley
Hi is const = id? const 'x' 'y' 'x' id 'x' 'x' Cheers, Paul ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe