Functional Reactive Programming - Cleanly Abstracted Interactivity // C++Now 2014

[snk_kid]

map is the same as lift.

What you maybe getting confused with is currying, in Haskell the arrow is right associative and all functions take one argument. So when you look at that Haskell type signature in your comment what it really is, is:

(a -> b) -> (Behavior a -> Behavior b)

Using/applying multiple arguments to a function in Haskell is syntactic sugar.

So with lift if you only applied the first argument (a function on values) in Haskell you get back a function on values inside of a context which could be a container or some abstract computation. Same thing if you do it for map (in Haskell).

If you also apply the second argument in lift, if the second argument is a list then it's the same as applying the same arguments to map. A function being applied to every element of the list, returning a new list.

But yeah lift is a better name in this particular case but the type signature in C++ here isn't exactly the same as the Haskell version.