Qi中有自己类型的问题

| 我徒劳地尝试让Clozure CL使用类型声明示例,例如下列:
(datatype fruit
   if (element? F [apples pears oranges])
   ______________________________________
   F : fruit;)
但是我得到的唯一输出是:
type error
Ccl似乎有问题,它是否有可能正常运行? P.S .:类型检查已打开,(tc +)     
已邀请:
        这对我在QiII1.06SBCL上有效:
(0-) (tc +)
true

(1+) (datatype fruit
       if (element? F [apples pears oranges])
       ______________________________________
       F : fruit;)
fruit : symbol

(2+) apples : fruit
apples : fruit

(3+) steak : fruit
type error
因此,我建议您尝试从网站上下载一个官方捆绑包,因为据我所知,目前还没有官方支持CCL。     

要回复问题请先登录注册