[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-beginners
Subject:    Re: [Haskell-beginners] Pattern matching over functions
From:       Ken KAWAMOTO <kentaro.kawamoto () gmail ! com>
Date:       2011-12-13 14:16:08
Message-ID: CAGByEKOYWoLCDnUqsVct87Bkj+yrThGFaFrX-VBf+AYqKtmDUw () mail ! gmail ! com
[Download RAW message or body]

Thank you all. Reading through this thread from the top again, I got it finally.
I was stupid and missing the context of the original question.

*if* we have that map function that can only incompletely distinguish
functions, then by using the map function we could tell "f" from "id
f", breaking referential transparency. (assuming it couldn't detect
the equality between "f" and "id f")

Regards,
Ken

_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://www.haskell.org/mailman/listinfo/beginners
[prev in list] [next in list] [prev in thread] [next in thread]