#t , any , Type の違いは？

[umemura]

heavybugtrackerさん、wbardwellさん、ありがとうございます。

なるほど。
Template の「t」なのですね。
また、この型宣言は、クラス宣言部でしか使えない、という認識です

any 型ではなく、インスタンス時に型が決まるので、
プログラミング中に、フィールドやメソッドのオートコンプリートが表示されるわけですね。

Type と ClassType も、意味は若干異なり、前者はすべての型、後者はクラスの型をあらわす、という理解です。

勉強になりました。

Code:

{define-class public {CustomClass-of t:Type}
  field data:t
  {constructor public {default data:t}
    set self.data = data
  }
}

{define-class public {CustomClassNull-of t:Type}
  field data:#t
  {constructor public {default data:#t}
    set self.data = data
  }
}

{define-class public CustomClass
  field data:any
  {constructor public {default data:any}
    set self.data = data
  }
}

{def a = {{CustomClass-of String} "String"}} ||<- null を指定できない
{value {type-of a.data}}

{def c = {{CustomClassNull-of String} null}} ||null指定可能
{value {type-of c.data}}

{def b = {CustomClass "String"}}
{value {type-of b.data}}

{do
    let str:String = ""
    set str = a.data  || キャスト必要なし
    set str = {non-null c.data} || nullable の判断
    set str =  b.data asa String || 明示的なキャストが必要

}