「SF-PLF」12 Records
Pin Young Lv9
  2021-03-28 00:00:00 2021-03-28 00:00   2023-02-02 13:37:46   35 字  1 分钟  

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

  • 本文标题：「SF-PLF」12 Records
  • 本文作者：Pin Young
  • 创建时间：2021-03-28 00:00:00
  • 本文链接：posts/a84a.html
  • 版权声明：本博客所有文章除特别声明外，均采用 BY-NC-SA 许可协议。转载请注明出处！
  1. 1. Adding Records
  2. 2. Formalizing Records