[PROPOSE]:`typeof`式

[taiseiue]

typeof式

概要

次のように書くことで、値の型を取得できるようにする

typeof(1 + 1); // NUMBER

動機

値の型を取得する操作を、言語レベルでサポートしたいから。

詳細設計

値の型をType型で返す。
typeofで囲まれた値の、GetTypeメソッドを呼び出してその値を返すのと同じ。(メソッド呼び出しに展開することはしない)

欠点

前例

未確定の設計

Discussion