「SF-PLF」14 RecordSub
Pin Young Lv9
  2021-03-28 00:00:00 2021-03-28 00:00   2023-02-02 13:37:46   50 字  1 分钟  
1
2
3
4
Inductive ty : Type :=
  (* record types *)
  | RNil : ty
  | RCons : string → ty → ty → ty.

we need typecon to identify record…

Inductive tm : Type :=
  | rproj ...?  isn't it as well?
  (* record terms *)
  | rnil : tm
  | rcons : string → tm → tm → tm.
``

as a list...


for Record, can compiler reorder the fields? (SML and OCaml)
  • 本文标题：「SF-PLF」14 RecordSub
  • 本文作者：Pin Young
  • 创建时间：2021-03-28 00:00:00
  • 本文链接：posts/e58e.html
  • 版权声明：本博客所有文章除特别声明外，均采用 BY-NC-SA 许可协议。转载请注明出处！