can you elaborate? you haven't really explained these ideas in a way that helps me understand them but it sounds interesting. what do you mean by static typing

can you elaborate? you haven't really explained these ideas in a way that helps me understand them but it sounds interesting. what do you mean by static typing guarantees? tables have a schema already (static type declarations). table schemas are essentially all objects of the same type though (a collection of column types, and the possible values of those types are enumerated). are you referring to a meta-data level of type checking? like "schema of type Foo always contains a column named FOO with type varchar" or something like that? what do you mean by "queries have to specify the table that they query"? do you mean that there ought to be templated or generic queries? I can't see a way out of specifying which data sets you want to query on though. I'm hoping you can use more detailed language to clarify your intent here.