Un valor de tipo record (registro) es una secuencia ordenada de campos. Y un campo es un conjunto de dos elementos: un nombre (de tipo texto) y un valor (de cualquier tipo). Estos campos deberán aparecer separados por comas y encerrados entre corchetes, y los nombres no pueden repetirse.
Un registro puede ser considerado, por lo tanto, una secuencia de claves y valores. Por ejemplo:
let
ficha = [nombre = "José", edad = 75, ciudad = "Madrid"]
in
ficha
Pero hemos comentado que los valores pueden ser de cualquier tipo, así que el siguiente registro -en el que un valor es, a su vez, un registro- también es perfectamente válido:
let
ficha = [
nombre = "José",
edad = 75,
localidad = [ciudad = "Madrid", país = "España"]
]
in
ficha
Si cerramos el editor avanzado y hacemos clic en el fondo del recuadro que contiene el enlace Record que aparece en la imagen anterior veremos, en la parte inferior de la interfaz, una previsualización del contenido del registro correspondiente al campo localidad:
