중첩 된 레코드로 OCaml 기능 업데이트

Question

중첩 된 레코드로 기능 업데이트 구문 { record with key = value }을 사용하려면 ppx 확장 또는 유사 기능을 사용하는 방법이 있습니까?

예를 들어, 다음 예제 프로그램에서는 필자가 "내부"레코드를 대상으로하고 싶을 때 가장 바깥 쪽 레코드 만 기능적으로 업데이트하고 있습니다.

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 구문)과 같이 쓸 수 있도록하고 싶습니다 : 나는 당신이 사용하고있는 가정

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

: 당신은 바로 OCaml의이 쓸 수

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

Answer 1

을 예제의 경우에만 ignore; 기능적 레코드 업데이트의 결과를 무시하는 것은 의미가 없습니다.