> Yea, it's cute. I don't like the formula, though: \x -> x + x is just too > trivial and not very Haskellish. Something higher order is the minimum > requirement, IMO. The original (lambda knights) formula was cool: the fixed > point operator is directly related to recursion, which is reflected in the > picture that contains itself; note also that defining this operator requires > an untyped language, so this fits LISP quite well (but not Haskell).
I would go with something like ! forall A B. A -> B, saying that "type casting" under the C-H isomorphism is a lie and therefore we all must avoid it :D, but I don't like the "!" in front of it. Just my 2 cents. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe