0

Привет!

Помогите разобраться с работой обратных конвейеров.

Допустим, есть кусок кода:

let add x y =
    x + y

[<EntryPoint>]
let main argv =
    add 2 <| add 3 <| 4 |> add 7 |> add 8

Этот код некорректен, но станет корректен, если убрать add 2 <|

Почему сейчас этот код некорректен? Что передаётся в add 2?

4
  • А вы попробуйте разобраться на более простом примере
    – user227049
    29 авг 2017 в 5:43
  • @FoggyFinder Ну, я понимаю, что происходит здесь: add 2 <| 2. Или вы какой пример имели в виду? Без правых операторов?
    – eastwing
    29 авг 2017 в 5:46
  • да, именно это я и имею ввиду
    – user227049
    29 авг 2017 в 5:46
  • мы можем продолжить обсуждение в F# чате ?
    – user227049
    29 авг 2017 в 5:47

1 ответ 1

2

Разобрался с помощью Foggy Finger

Дело в том, что операторы обратного конвейера тоже левоассоциативны, а выражения вычисляются слева направо независимо от наличия обратного конвейера - что, к слову, совершенно логично. Т.е. выражение add 2 <| add 3 <| 4 следует читать не так:

передать 4 в add 3, а затем передать результат в add 2

, а так:

в add 2 передать add 3, затем передать 4 в результат

В данном конкретном примере я пытался передать функцию (значение типа int -> int) на место целочисленного аргумента (int), что, конечно, является ошибкой. Исправить её можно, например, так: add 2 <| (add 3 <| 4) - в этом случае в add 2 будет передаваться результат сложения, т.е. требуемое целое число.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.