¿Cómo funciona la coincidencia de patrones detrás de escena en F #?

Soy completamente nuevo en F # (y en la programación funcional en general), pero veo que la coincidencia de patrones se usa en todas partes en el código de muestra. Me pregunto, por ejemplo, ¿cómo funciona realmente la coincidencia de patrones? Por ejemplo, me imagino que funciona igual que un bucle for en otros idiomas y busca coincidencias en cada elemento de una colección. Esto probablemente está lejos de ser correcto, ¿cómo funciona realmente detrás de escena?

Respuestas a la pregunta(4)

Su respuesta a la pregunta