CREATE TABLE foo ( this VARCHAR(64) );PRAGMA table_info(far) /* this correctly has VARCHAR(64) as the type */
CREATE VIEW baz AS SELECT 'this.is.a.test' FROM bar;
一个示例值:[[1, 2], [1]]func : (n ** Vect n Nat) -> Type
但我不知道怎么写。为了澄清,我知道可以简单地使用(n ** Vect n (p ** Vect p Double))作为示例值的类型。但是,n只限制列表的数量,而不限制元素的数量,因为在列表中,p可以是任何东西。我很可能需要这样<em