Proposal: Adding on

[kahl at cas.mcmaster.ca]

Nils Anders Danielsson <nad at cs.chalmers.se> wrote:
 > The function on defined by
 > 
 > (*) `on` f = \x y -> f x * f y
 > 
 > [...]

 > The main question seems to be which module to put the function in.
 > Based on previous discussion on the libraries list I suggest creating
 > a new module Control.Function

Functional programming means functions are first class citizens,
and that means that function types are data types
just like other data types.

In addition,
function application by itself does not influence control flow.

Therefore I would strongly suggest Data.Function instead.



Wolfram