철저한 패턴

Question

나는 ML을 배우고 있습니다. 누군가 철저한 패턴을 어떻게 설명 할 수 있습니까?

Answer 1

패턴 일치는 실패 할 수없는 경우 철저합니다. 나는. 발생할 수있는 모든 경우는 패턴으로 덮여 있습니다.

fun sum (x::xs) = x + sum xs 

를 두 경우 모두가 포함되어 있기 때문에 철저한 다음과 같습니다 :이 목록이 비어있는 경우에는 적용되지 않기 때문에 예를 들어

는 다음과 같은 패턴 일치가 철저하지

fun sum (x::xs) = x + sum xs 
    | sum [] = 0 

일반적으로 대수 데이터 형식의 패턴 일치는 기본 사례가 있거나 모든 생성자에 대한 사례가 있고 각 하위 패턴의 일치가 철저한 경우에만 철저합니다.