[Haskell-beginners] Addable function combinators

Brent Yorgey byorgey at seas.upenn.edu
Tue Mar 30 18:59:36 EDT 2010


Hi Edgar, 

I am not sure what you are asking.  What do you mean "to make the
stars addable"?

-Brent

On Mon, Mar 29, 2010 at 02:04:54AM +0200, edgar klerks wrote:
> He All,
> 
> I was toying a bit around and found a function, which combines an function
> of arity 1 with 2.
> Then I produced a whole sequence of these function, the number of * stands
> for the arity of the left function and the number of | stands for arity the
> right function. so <*|||> :: (b -> c -> d) -> (a -> c) -> a -> b -> d:
> 
> (<*****|>) = flip (<*|||||>)
> (<****|>) = flip (<*||||>)
> (<***|>) = flip (<*|||>)
> (<**|>) = flip (<*||>)
> (<*|>) = (.)
> (<*||>) = (<*|>).(<*|>)
> (<*|||>) =(<*||>).(<*|>)
> (<*||||>) = (<*||>).(<*||>)
> (<*|||||>) = (<*||||>).(<*|>)
> 
> con = (flip.) .(.)
> (<**||>) = (<*||>).flip
> (<**|||>) = (<*|>).(<**||>)
> (<**||||>) = (<*|>).(<**|||>)
> (<***||>) =  (<*||>).(con flip)
> (<***|||>) = (<*|>).(<***||>)
> (<****||>) = (<*||>).(con.con $ flip)
> 
> I found it interesting, but now I am stuck. is it possible to make the stars
> addable instead of the | or both?
> 
> Greets,
> 
> Edgar
> Edgar

> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners



More information about the Beginners mailing list