milibopp / carboxyl

Functional Reactive Programming library for Rust

Mozilla Public License 2.0

405 stars 19 forks source link

Allow lifting of n-ary functions #9

Open milibopp opened 9 years ago

milibopp commented 9 years ago

There is only lift2 right now. It is probably possible to do this generically, so that there is one generic function lift deprecating lift2. This will likely involve using a recursive macro to implement it for a finite but arbitrary number of arguments. Quickcheck has done something similar.

[x] Generic lifting for a few low arities (say, up to 4)
[ ] Use a completely arbitrary arity

milibopp commented 9 years ago

22 resolves the most common practical concerns, but is far from a general solution. However, it appears that Rust's type system can not accomodate such a solution, until it gets variadic generics.

milibopp commented 9 years ago

There was an idea on Reddit

milibopp commented 9 years ago

The situation here has not changed after the internals redesign.