8 Nov
2006
8 Nov
'06
10:05 p.m.
On 11/8/06, Ashley Yakeley
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