PoC of nested record definitions

[zth]

type uploadOptions = {
  file: {
    path: string,
    filename: string,
    metadata?: {description?: string, tags?: array<string>},
  },
  processing?: {
    resize?: {width: int, height: int},
    compress?: {level: int, format: string},
  },
  security?: {
    encryption?: {algorithm: string, key: string},
    accessControl?: {public: bool, expiration?: int},
  },
}

let uploadOptions = {
  file: {
    path: "/path/to/file.png",
    filename: "file.png",
    metadata: {description: "Sample file", tags: ["image", "upload"]},
  },
  processing: {
    resize: {width: 1920, height: 1080},
    compress: {level: 7, format: "jpg"},
  },
  security: {
    encryption: {algorithm: "AES-256", key: "secure-key"},
    accessControl: {public: false, expiration: 3600},
  },
}

Things missing:

• Support for type params
• Support for @as for renaming the generated type (do we want it?) Make the definition explicit if it should be reused.
• First class representation in the AST
• Support in the outcome printer so hovers etc include the full nested type. Unclear how to do this
• Make sure locs are good and that the editor experience is good