Dopasowywanie wzorca na początku ciągu w f #

Question

Próbuję dopasować początek ciągów w f #. Nie jestem pewien, czy muszę traktować je jako listę znaków, czy co. Wszelkie sugestie będą mile widziane.

Oto psuedo wersja kod co próbuję zrobić

let text = "The brown fox.." 

match text with 
| "The"::_ -> true 
| "If"::_ -> true 
| _ -> false 

Tak, chcę patrzeć na początku łańcucha i meczu. Uwaga Nie pasuję do listy ciągów, właśnie napisałem powyższe jako ideę istoty tego, co próbuję zrobić.

Answer 1

Parametryzowane active patterns na ratunek!

let (|Prefix|_|) (p:string) (s:string) = 
    if s.StartsWith(p) then 
     Some(s.Substring(p.Length)) 
    else 
     None 

match "Hello world" with 
| Prefix "The" rest -> printfn "Started with 'The', rest is %s" rest 
| Prefix "Hello" rest -> printfn "Started with 'Hello', rest is %s" rest 
| _ -> printfn "neither" 

Answer 2

Tak, musisz traktować je jako listę znaków, jeśli chcesz użyć wyrażenia dopasowania.

Wystarczy przekształcić ciąg z:

let text = "The brown fox.." |> Seq.toList 

Następnie można użyć wyrażenia mecz, ale trzeba będzie używać znaków (typu elementów na liście) dla każdej litery:

match text with 
| 'T'::'h'::'e'::_ -> true 
| 'I'::'f'::_ -> true 
| _ -> false 

Jak sugeruje Brian Sparametryzowane aktywne wzorce są o wiele ładniejsze, istnieje kilka przydatnych wzorów here (przejdź na koniec strony).

Answer 3

Można również użyć osłony na wzór:

match text with 
| txt when txt.StartsWith("The") -> true 
| txt when txt.StartsWith("If") -> true 
| _ -> false