Dlaczego to wyrażenie "dopasuj" F #/OCaml?

Question

Ten kod kompiluje dobrze w F # oraz SML:

let testmatch k = 
    match k with 
    | jqk3jtl23jtlk123 -> true 

Przetestowałem zarówno FSI i Utop. Zawsze zwraca true.

Numer jqk3jtl23jtlk123 jest całkowicie losowy, a jego typ jest interpretowany jako 'a. Nawet jeśli ograniczyć k z typów danych (np let testmatch (k: int) =) kompiluje (choć oczywiście ograniczać testmatch „s typ do int -> bool zamiast 'a -> bool

Czy ktoś mógłby wyjaśnić, co się dzieje szczególności:.?

• dlaczego kompilator przyjąć całkowicie losowy dosłowne jqk3jtl23jtlk123?
• dlaczego nie dostać inexhaustive ostrzeżenie meczu?
• co jest mecz rzeczywiście robi?

Answer 1

W tym przypadku "literalna" jqk3jtl23jtlk123 jest poprawną nazwą zmiennej, a więc opis opisany po lewej stronie -> jest taki sam, jak w przypadku napisania let jqk3jtl23jtlk123 = k. Ponieważ akceptuje ona dowolną wartość k i nie ogranicza jej typu, ponieważ powiązanie działa dla wszystkich typów, wywnioskowany typ to 'a, najbardziej ogólna wartość, jaką może reprezentować system typów.

Jeśli zmienisz literał w coś, co nie jest prawidłowym identyfikatorem, na przykład zaczynając od cyfry, nie uda się skompilować.

Jeśli owinąć dosłowne w cudzysłowie, będzie interpretowana jako wartość ciągu dosłownym, należy uzyskać inexhaustive ostrzeżenie mecz, a to ogranicza k „s typ do string.

Answer 2

To jest wzór wieloznaczny, który nazywa wszystko, co jest k równe. Jest to odpowiednik

let testmatch k = 
    let jqk3jtl23jtlk123 = k in 
    true