Copia di campi in OCaml

Question

Ho una domanda molto semplice riguardante i record OCaml. Supponiamo che io sono un record definito:

type r = {a:int;b:int;c:int} 
let x = {a=3;b=8;c=2} 

Ora, supponiamo che io voglio creare un nuovo record diche ha tutti i campi uguali a x ma che ha c = 4. Potrei scrivere:

let y = {a=3;b=8;c=4} 

ma questo è fastidioso perché non è necessario riscrivere a = 3 eb = 8. Potrei anche scrivere:

let y = {a=x.a;b=x.b;c=4} 

ma questo non è ancora buono se il record ha molti campi. C'è un modo di scrivere qualcosa del tipo:

let y = {x with c=4} 

o qualcosa del genere?

Grazie mille per qualsiasi aiuto.

Tutto il meglio, Surikator.

Answer 1

sì, e questa è la sintassi esatta.

let y = {x with c=4}