Proposal discussion summary: Adding on

[Taral]

On 11/8/06, Ashley Yakeley <ashley at 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 at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem