On 11/8/06, Ashley Yakeley <ashley@semantic.org> wrote:
Nils Anders Danielsson wrote:
* Consensus was reached that a module containing on plus some functions from the prelude should be added.
That's S of SKI, isn't it? Looks good, as we already have "const" and "id".
No, "ap" is S : \a b c -> a c (b c). This is \a b c d -> a (b c) (b d).
If we're creating Data.Function, can we add an "instance Functor ((->) a)" to it? I seem to remember it's currently in an odd place. Or maybe we should create a Data.Functor module.
Hm, that's not a bad idea. Functor instances for common types. Right now it's in the Control.Monad.Reader module, since (->) a is a reader monad. -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem