-> is a convenient operator that allows you to "flip" your code inside-out.
b->a. It's a piece of syntax that doesn't have any runtime cost.
Imagine you have the following:
This is slightly hard to read, since you need to read the code from the innermost part, to the outer parts. Use Pipe First to streamline it
person ->parseData ->getAge ->validateAge
parseData(person) is transformed into
getAge(person->parseData) is transformed into
This works when the function takes more than one argument too.
a(one, two, three)
is the same as
This works with labeled arguments too.
Try not to abuse pipes; they're a means to an end. Newcomers sometimes shape a library's API to take advantage of the pipe. This is rather backward.
Conventionally, we don't turn the innermost layer of function call into a pipe. So the above example would usually be written as:
parseData(person) ->getAge ->validateAge
This section requires understanding of Bucklescript's binding API.
const result = [1, 2, 3].map(a => a + 1).filter(a => a % 2 === 0); asyncRequest() .setWaitDuration(4000) .send();
Assuming we don't need the chaining behavior above, we'd bind to each case this using
bs.send from the previous section:
[@bs.send] external map : (array('a), 'a => 'b) => array('b) = "map"; [@bs.send] external filter : (array('a), 'a => bool) => array('a) = "filter"; type request; external asyncRequest: unit => request = "asyncRequest"; [@bs.send] external setWaitDuration: (request, int) => request = "setWaitDuration"; [@bs.send] external send: request => unit = "send";
You'd use them like this:
let result = filter(map([|1, 2, 3|], a => a + 1), a => a mod 2 == 0); send(setWaitDuration(asyncRequest(), 4000));
This looks much worse than the JS counterpart! Now we need to read the actual logic inside-out. We also cannot use the
|> (pipe last) operator here, since the object comes first in the binding. But
let result = [|1, 2, 3|] ->map(a => a + 1) ->filter(a => a mod 2 === 0); asyncRequest()->setWaitDuration(4000)->send;
A variant's constructors, like
Student, look like functions, but unfortunately aren't, due to historical reasons. Sometime, it'd still be nice to be able to use them as functions. Pipe First takes the occasion to enable that for you!
let result = name->preprocess->Some
We turn this into:
let result = Some(preprocess(name))
Note that using a variant constructor as a function wouldn't work anywhere else.
A placeholder is written as an underscore and it tells Reason that you want to fill in an argument of a function later. These two have equivalent meaning:
let addTo7 = (x) => add3(3, x, 4); let addTo7 = add3(3, _, 4);
Sometimes you don't want to pipe the value you have into the first position. In these cases you can mark a placeholder value to show which argument you would like to pipe into.
Let's say you have a function
namePerson, which takes a
person then a
name argument. If you are transforming a person then pipe will work as-is:
makePerson(~age=47, ()) ->namePerson("Jane");
If you have a name that you want to apply to a person object, you can use a placeholder:
getName(input) ->namePerson(personDetails, _);
This allows you to pipe into any positional argument. It also works for named arguments:
getName(input) ->namePerson(~person=personDetails, ~name=_);