OCaml関数の更新でネストされたレコード

Question

PPTの拡張機能などを使用して、機能の更新構文{ record with key = value }をネストされたレコードで使用する方法はありますか？

たとえば、次の例のプログラムでは、「内側の」ターゲットを実際にターゲットにしたいとき、最も外側のレコードのみを機能的に更新しています。

type outer = { 
    a : float; 
    b : inner 
} 
and inner = { 
    c : float; 
} 

let item = { a = 0.4; b = { c = 0.7 } } 

let() = ignore { item with b = { c = 0.8 } 

innerに複数のフィールドがあるとあまり便利ではありません。

私は、次の（strawman構文）のようなものを書くことができるようにしたいと思います：

let() = ignore { item with b.c = 0.8 } 

Answer 1

あなたはストレートのOCamlでこれを書くことができます。

{ item with b = { item.b with c = 0.8 } } 

私はあなたが使用していると仮定例のためだけにignore;機能的なレコード更新の結果を無視するのは意味がありません。