ReScript is implementing[1] what I think is a cool feature that could be useful in upstream OCaml too: optional record fields. E.g., say we have the following record type: type t = { x : int; y : int option } Now, if we want to create a value with y = None, we have to write: { x = 1; y = None } …

Syntax proposal: optional record fields

hongchangwu December 30, 2021, 10:35pm 8

PPX can help here, e.g., this ppx_deriving plugin or this standalone.

1 Like

Topic		Replies	Views
Version control of records Learning serialization , records , s-expression	9	673	March 30, 2023
Empty records and record types? Learning type-system , ocaml , syntax , records	4	284	March 29, 2024
Ocaml record type usage Learning	3	738	September 16, 2019
Is it possible to "anonymize" the type parameter in a record field definition? Learning	7	401	October 13, 2023
Are OCaml records structurally typed or nominally typed? Learning	6	593	July 23, 2023