Операторы старшинство и ассоциации

Question

Я определили оператор XOR:

let (.||.) x y = (x || y) && not(x && y) 

Такое, что

true .||. true 
true .||. false 

возвратившегося false и true соответственно.

Согласно Hansen & Rischel, оператор && имеет более высокий приоритет над || оператора (и оператора .||. тоже. Поэтому, почему

true .||. true && false 
    true .||. false && true 

действительно возвращают false и true соответственно? Результаты по-видимому, производится (true .||. true) && false вместо ожидаемых true .||. (true && false).

Answer 1

Согласно MSDN, оператор .||. будет подпадают под шаблон |op (т.е. игнорируя ведущую точку, начиная с трубы), которая находится в двух строках ниже оператора && в таблице, в той же строке с &op и <op и другими. Так что на самом деле он имеет выше приоритет, чем &&.

F# spec говорит то же самое в разделе 4.4.2, там находится только таблица вверх (от наивысшего до самого низкого).

Нельзя комментировать книгу, которую вы читаете, не имеет ее под рукой.