q/kdb 类型转化和枚举类型

q语言中游两个非常有用的类型相关的问题。在讨论这两个问题前，先做几个申明，这几个命题总是成立的

q语言是强类型语言
类型是动态生成的
类型转化也可以理解成是函数

q的变量总是包含类型的，虽然我们可以在申明变量之前使用变量。例如：

q)a:42
q)a
42

但每一个变量都是包含类型。

q)type a
-6h