¿Cuáles son los patrones específicos de la función ML?

Copia un párrafo para presentárselo a todos:

El programa "Hello World" en un lenguaje de programación funcional es una función factorial. En términos puros de ML:

fun fac : (fn: int -> int) 0 = 1

| fac n = n * fac (n-1);

El factorial aquí se describe como una función recursiva con una condición de terminación. Puedes ver que es similar a cómo se describe el factorial en los libros de texto de matemáticas. La sintaxis de la mayor parte del código ML es similar a la matemática.

Parte de la primera línea de la función recursiva es opcional y describe el tipo de función. Se puede entender así: la función fac (fun fac) es una función (:) de entero a entero (fn: int -> int). Es decir, la función toma un número entero como parámetro y devuelve otro número entero. Después de eliminar declaraciones de tipos innecesarias, la función se ve así:

fun fac 0 = 1

| > Esta función también se basa en la coincidencia de patrones, que es una parte importante de la programación ML. Los parámetros de la función no están entre paréntesis, sino separados por espacios. Cuando el valor del parámetro es 0, la función devuelve el número entero 1. Esta recursividad llamará a la función una y otra vez hasta que se cumpla la condición básica.