Почему разница между помеченными / немаркированными аргументами приводит к разным результатам? - PullRequest
Новая
       42

Почему разница между помеченными / немаркированными аргументами приводит к разным результатам?

2 голосов
/ 14 февраля 2020

Я только начал изучать Reason (OCaml), и я не понимаю названную вещь. Почему вторая часть возвращает функцию, а не вычисленное значение? Я думал, что отличается только способ передачи аргумента, а результат - нет. 

let addWithoutLabel = (~x=10) => (y) => x + y;
let fifteen = addWithoutLabel(5);
Js.log(fifteen)
/* 15 */

let addWithLabel = (~x=10) => (~y) => x + y;
let sixteen = addWithLabel(~y=6);
Js.log(sixteen)
/* 
function sixteen(param) {
  return addWithLabel(param, 6);
}
*/

https://reasonml.github.io/en/try.html?rrjsx=true&reason=DYUwLgBAhgJjDqBLMALA9gVzAGSgIxGAgF4IAKAPwA9iBGABgEoSA+cgT2eLaogGoI7ANwAoUJABmiCWBAgAdiWhwkqTDnyEyAVkaiAUgGcAdMDQBzMlJlz5jEQHoAVBFraIThyLHhlCZCi4BESklDQMXGyUnKwQvALCPpCGiFSyCkqw-qhBWhTsxABseiJGphZkKWm29s4QIhIY8gDGYIhoilXp8mQADlAATlAAtswA3iIQEAPgGAOKWaqBmsB9gyMANBDFogC+Ip5AA

1 Ответ

3 голосов
/ 14 февраля 2020

Требуется иметь хотя бы один позиционный параметр, если есть необязательные помеченные аргументы (или, как в вашем случае, аргументы с параметром по умолчанию). В противном случае Reason ожидает от вас, что вы хотите использовать частично примененную функцию.

Чтобы обеспечить полное применение, используйте единицу () как в объявлении функции, так и в вызове функции, чтобы сообщить компилятору, что вы хотите пропустить параметр ~x. 

let addWithoutLabel = (~x=10) => (y) => x + y;
let fifteen = addWithoutLabel(5);
Js.log(fifteen)
/* 15 */

let addWithLabel = (~x=10) => (~y, ()) => x + y;
let sixteen = addWithLabel(~y=6, ());
Js.log(sixteen)
/* 16 */

https://reasonml.github.io/en/try.html?rrjsx=true&reason=DYUwLgBAhgJjDqBLMALA9gVzAGSgIxGAgF4IAKAPwA9iBGABgBoIBPAShID4IqIBqVgG4AUKEgAzROLAgQAOxLQ4SVJhz5CZAKxsRAKQDOAOmBoA5mUnTZc3cID0AKgi0tER-eGjwShMhS4BESklDQMHMTclCzMZGwR3LwCLCJiEAaIVDLyirB+qIGaFCzEAGyx8frGphYZWTZ2Ti6l7p5AA

...