「SF-PLF」12 Records

发表于2021-03-28|更新于2022-02-04

|字数总计:35|阅读时长:1分钟|阅读量:

Adding Records

t ::=                          Terms:
    | {i1=t1, ..., in=tn}         record
    | t.i                         projection
    | ...

v ::=                          Values:
    | {i1=v1, ..., in=vn}         record value
    | ...

T ::=                          Types:
    | {i1:T1, ..., in:Tn}         record type
    | ...