logica
logica copied to clipboard
Add type inference
We would like to infer types of arguments of the predicates, including reading types of database columns. Then we can display a native error for the user, rather then compiling an SQL and having user debug SQL error.