Co robi przecinek w składni straży?

Question

W bazie kodu Czytam, znalazłem deklarację funkcji tak (brakuje niektórych części):

filepathNormalise :: BS.ByteString -> BS.ByteString 
filepathNormalise xs 
    | isWindows, Just (a,xs) <- BS.uncons xs, sep a, Just (b,_) <- BS.uncons xs, sep b 
    = '/' `BS.cons` f xs 

Co przecinek robić tutaj?

(tylko jako bonus, jeśli ktoś wie, to łatwo: jest to składnia wspomniano w Haskell Programowanie z pierwszych zasad, a jeśli tak, to gdzie jak nie pamiętam czytanie o nim?).

Answer 1

Osłony są opisane w Haskell 2010 section 3.13, Case Expressions (ta część jest o ekspresji przypadków, zgłoszeń nie najwyższym poziomie, ale przypuszczalnie semantyka są takie same)

guards → | guard1, …, guardn  (n ≥ 1) 
guard → pat <- infixexp   (pattern guard) 
     | let decls    (local declaration) 
     | infixexp    (boolean guard)

Dla każdego strzeżonego wyrażenia, oddzielone przecinkami osłony są wypróbowywane sekwencyjnie od lewej do prawej. Jeśli wszystkie z nich się uda, to odpowiadające wyrażenie jest oceniane w środowisku rozszerzonym o powiązania wprowadzone przez strażników. Oznacza to, że wiązania wprowadzone przez strażnika (przez użycie klauzuli let lub wzorca) znajdują się w zasięgu następujących strażników i odpowiedniego wyrażenia. Jeśli któryś ze strażników się nie powiedzie, to wyrażenie strzeżone zawodzi, a następne strzeżone wyrażenie zostaje wypróbowane.

W prostym przypadku przecinek pełni rolę podobną do Boolean i. Ale przecinek jest mocniejszy, ponieważ każdy strażnik może wprowadzić nowe wiązania, które są używane przez kolejnych strażników (postępując od lewej do prawej).

Przecinki w strażnikach są dość rzadkie (przynajmniej z mojego doświadczenia), że opisałbym tę funkcję jako ciekawostki Haskella - w ogóle nie jest konieczne pisanie (lub, w większości, czytanie) Haskella. Podejrzewam, że z tego powodu program Haskell z pierwszej zasady pomija go.

Answer 2

Ta składnia nie jest legalna w Haskell '98; Zostało to dodane do specyfikacji językowej w Haskell 2010. Jest to część rozszerzenia językowego "wzorca".

https://prime.haskell.org/wiki/PatternGuards

prawdziwy przydatność w to w co pozwala na wzór meczu wewnątrz klauzuli straży. Zmiana syntaktyczna ma również efekt uboczny, pozwalając użytkownikowi na łączenie kilku terminów Boole'a za pomocą przecinków.

(ja osobiście bardzo lubię to rozszerzenie, a ja jestem trochę w szoku, że znalazły się w oficjalnej specyfikacji, ale nie jesteśmy ...)