search

cicada-lang / cicada-plct

Cicada Language (PLCT little team)
https://cicada-lang.org
GNU General Public License v3.0
91 stars 7 forks source link

[feature] inductive datatype #42

Open xieyuheng opened 2 years ago

xieyuheng commented 2 years ago

Problem:

We need to support inductive datatype to let user define new types.

Solution 1:

Maybe add the following new values:

jingkaimori commented 1 year ago

Is class a special type constructor?