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

-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
>
> Greets,
>
> Edgar
> Edgar

> _______________________________________________
> Beginners mailing list