Proposal discussion summary: Adding on
taralx at gmail.com
Wed Nov 8 22:05:03 EST 2006
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
Taral <taralx at gmail.com>
"You can't prove anything."
-- Gödel's Incompetence Theorem
More information about the Libraries