Acceso a los valores de un registro

Podemos acceder a los valores que componen un registro usando la notación registro[nombre-de-campo], donde registro es el registro del que queremos extraer el campo, y nombre-de-campo es el nombre del campo a extraer. Por ejemplo:

let
   ficha = [nombre = "José", edad = 75, ciudad = "Madrid"]
in
   ficha[nombre]

José

Acceso a los valores de un registro