Field
Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.
Access a named field of a value: p.x in Epsil. On a record or dictionary value, Field(d, "x") behaves exactly as d["x"] (At semantics, including the absence marker for a key a dictionary may not have). On a value of a NOMINAL type whose definition body has named fields (a record body, or a named-tuple body), the field is resolved through the type definition — the sanctioned accessor window of the nominal-types design (D6/§4.5b D16). This does not make the value a collection: First(p) and p["x"] keep rejecting. A field name that is not in a record/named-tuple definition is a static defect (the result type is error); on an unknown-typed operand the expression stays symbolic.
Field(value: any, field: string) -> unknownas compute-engine declares itTyped signatures
| Type | Package | Applies |
|---|---|---|
(value: any, field: string) -> unknown | compute-engine | always |