..Shapes..Data..Type
The language reflection of the core type system is incomplete, and the plan is to not develop it further. Instead, Shapes will be equipped with a proper type system and object-oriented features in the future. When these arrive, the content of this namespace is expected to change completely.
Anyway, the values that are currently found in this namespace are language reflections of types described in
../types.html. For example, to check whether the value
x is of type
§Float, do
[typeof x] = ..Shapes..Data..Type..§Float
Only a few types are directly accessible to the user; while other types are hidden, knowledge of them will still help understanding the language. When, a binding exists, it will have the same identifier as is used to refer to the type abstractly in the documentation. Types in the list below are represented with a binding: