「SF-PLF」12 Records

Programming Language Foundations - Adding Records To STLC

Posted by Hux on March 12, 2019

Adding Records

1
2
3
4
5
6
7
8
9
10
11
12
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
    | ...

Formalizing Records