假设我有一个递归数据类型,例如,累积各种水果组合
datatype fruits = Apple | Orange | Pineapple | Pear
type fruit = fruits;
datatype basket = Empty | Basket of fruit * basket;
现在,如果我向basket
添加水果,你会得到类似
Basket(Apple,Empty)
如果我要添加第二种水果,
Basket(Apple,Basket(#,#))
我认为这是出于显示目的的方式吗?
是否有选项/方式检查我的篮子是否正确填充?