+PREDICATE: typed-variable < variable
+ "variable-type" word-prop ;
+
+: [typed-getter] ( quot type -- quot )
+ 1array '[ @ _ declare ] ;
+: [typed-setter] ( quot type -- quot )
+ instance-check-quot prepose ;
+
+: define-typed-variable ( word type -- )
+ dupd {
+ [ [ [variable-getter] ] dip [typed-getter] ]
+ [ [ [variable-setter] ] dip [typed-setter] ]
+ [ "variable-type" set-word-prop ]
+ [ initial-value swap set-global ]
+ } 2cleave (define-variable) ;
+
+SYNTAX: TYPED-VAR:
+ CREATE-WORD scan-object define-typed-variable ;
+
+M: typed-variable definer drop \ TYPED-VAR: f ;
+M: typed-variable definition "variable-type" word-prop 1quotation ;
+