ADT成员参数列表参数名字支持的问题

deeplang-org / deeplang-type-system

DeepLang type system based on Ocaml

7 stars 1 forks source link

Open chinesebear opened 2 years ago

chinesebear commented 2 years ago

a2335ff21cd7643507a7fb6c1dd5b53 这个名字有助于解释参数意义，应该要加上吧。

主要，因为ADT有分支，所以不能像结构体一样用名字取出值有一种方案是，允许ADT的分支定义一个私有结构体，这是OCaml的一个功能