F # multiple 패턴 매칭에서 그룹핑 패턴을 사용하는 경비원

Question

이 코드가 작동하지 않는 이유와 작동 방식

let id1 = 0 
match p1, p2 with 
    | Fluid, Particle id2 when id = id2 
    | Interface _, Particle id2 when id = id2 -> doSomething() 
    ... 

따라서 패턴 그룹에 수퍼 가드가있을 수 있습니까? 이 같은 화살표/결과 당 가드, 그래서 뭔가 일을 할 때

Answer 1

하나만을 가질 수있다 :이 경우 두 항목을

let id1 = 0 

match p1, p2 with 
| Fluid, Particle id2 
| Interface _, Particle id2 when id1 = id2 -> doSomething() 
| _ -> doSomething() 

(주 또는 식별자의 동일한 세트를 바인드해야합니다에 있도록 어떤 경우에는 식별자가 초기화되지 않은 남아되지 않음)

또는 대안은 두 번째 작업/결과를 추가

match p1, p2 with 
| Fluid, Particle id2 when id1 = id2 -> doSomething() 
| Interface _, Particle id2 when id1 = id2 -> doSomething() 
| _ -> doSomething()