Corrispondenza del motivo all'inizio di una stringa in f #

Question

Sto cercando di far corrispondere l'inizio delle stringhe in f #. Non sono sicuro se devo trattarli come una lista di personaggi o cosa. Tutti i suggerimenti sarebbero apprezzati.

Ecco una versione di codice pseudo di quello che sto cercando di fare

let text = "The brown fox.." 

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

Quindi, voglio guardare all'inizio della stringa e partita. Nota che non sto facendo corrispondenze su un elenco di stringhe ho appena scritto quanto sopra come un'idea dell'essenza di ciò che sto cercando di fare.

Answer 1

Parametrato active patterns per il salvataggio!

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

Sì, è necessario trattarli come un elenco di caratteri se si desidera utilizzare un'espressione di corrispondenza.

trasforma semplicemente la stringa con:

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

quindi è possibile utilizzare un'espressione partita, ma si dovrà utilizzare caratteri (il tipo di elementi nella lista) per ogni lettera:

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

Come Brian suggerisce che i pattern attivi parametrizzati sono molto più belli, ci sono alcuni modelli utili here (vai alla fine della pagina).

Answer 3

Si potrebbe anche usare una guardia sul modello:

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