search

EvgSkv / logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
https://logica.dev
Apache License 2.0
1.89k stars 95 forks source link

Add type inference #218

Open EvgSkv opened 2 years ago

EvgSkv commented 2 years ago

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.