Почему

True || _ = True

и
_ || _ = True


т.е. почему _ это как True в первом случае и во втором все эвалюируется в True?

Здравствуйте, WinnieJayClay, Вы писали:

WJC>Почему

WJC>True || _ = True

WJC>и
WJC>_ || _ = True


WJC>т.е. почему _ это как True в первом случае и во втором все эвалюируется в True?

Равенства с образцами при вызове просматриваются сверху вниз до первого подходящего, которое и используется. Приведенное определение неполное. Можно, например, определить оператор ИЛИ так:

False || False = False 
_     || _     = True