2

Clozure CL で動作する型宣言の例を取得しようと無駄に試みました。たとえば、次のようになります。

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

しかし、私が得る唯一の出力は次のとおりです。

type error

Cclに問題があるようですが、正常に動作する可能性はありますか?

PS: 型チェックがオンになっています (tc +)

4

1 に答える 1

1

それはQiIII1.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

そのため、ウェブサイトから公式バンドルの 1 つを試してダウンロードすることをお勧めします。私の知る限り、現時点では CCL は正式にサポートされていないからです。

于 2011-06-23T15:59:34.177 に答える