palabra clave ocaml null: ¿una vez pero no más?

Question

En el nivel superior ocaml (versión 3.11.2), esta simple expresión me da un error:

# let a = [] in if null a then 0 else 1;; 
Error: Unbound value null 

acabo de comenzar el aprendizaje de la ocaml oreilly book, que parece utilizar nulo como una palabra clave con frecuencia - para ejemplo, parte superior de la página 32:

# let rec size a_list = 
    if null a_list then 0 
    else 1 + (size (List.tl a_list));; 

Me da vergüenza hacer una pregunta tan obviamente googleable aquí. Pero después de mucho Google, vine con las manos vacías. Así que estoy tan abierto a las sugerencias de búsqueda de Google como a las respuestas directas. (Intentos de Google fallidos: [ocaml "Error: valor sin vincular nulo"] [palabra clave nulo ocaml] [ocaml changelog null] [ocaml change null]).

Pregunta: ¿era null una vez una palabra clave ocaml, pero ya no? ¿O instalé ocaml incorrecto o escribo mal algo?

Por supuesto puedo reemplazar cada aparición de "nulo" con "[]" en el código, pero me sorprende que una copia literal del código de un libro me da un error tan temprano. ¿Este libro está lleno de otros errores? Creo que fue escrito con ocaml 2.04 en mente; es eso demasiado viejo? Lo elegí porque me gustó TOC y la disponibilidad gratuita en línea. Aparte de este error nulo (que estoy aún más dispuesto a culpar a mí mismo que a los autores), las explicaciones son agradables y estoy esperando la discusión de la mezcla funcional del estilo imperativo & (mente expansiva para mí, como alguien solo familiarizado con c/C++).

Answer 1

nula se define en el libro en la página 31. Es una función normal que puede ser definida por:

let null l = (l = []) 

Esta nomenclatura es más o menos basado en Lisp, donde NIL es una lista vacía (también escrito as()) y NULL es un predicado (una función que devuelve verdadero o falso), exactamente como null arriba.

Answer 2

OCaml proporciona una potente Pattern Matching, lo que le permite definir la función más legible:

let rec size a_list = match a_list with 
| [] -> 0 
| _ :: tl -> 1 + (size tl) 

Como coincidencia de patrones se realiza a menudo en el último argumento, una notación especial está disponible:

let rec size = function 
| [] -> 0 
| _ :: tl -> 1 + (size tl) 

---

null podría definirse más corto usando (=) (es decir, la prueba de igualdad como una función normal/prefijo):

let null = (=) []