logica/TODO.md

a compile-to-javascript predicate logic language

# language
 * support embedded test cases which can be verified alongside predicates
 * derrived runtime types - constraint based? eg min-max ranges, nullable, enum membership...


# parser / compiler / interpreter
 * better parser and interpreter error messages
 * rewrite exec for runtime interpretation (with loaded custom operators)
 * flag to export referenced symbols in exec
 * flag to export referenced symbols in hydrate
 * compiler type checking for literal operands
 * error recovery - ignore errors for terms which end up not being necessary for evaluating the predicate, eg one term of a child "or" predicate when another term is true
 * typed operator dispatch (currently, the first operator is used to enforce types of other operators)
 * compiled lookup table for repeated symbol literals
 * optimizations for batch-running logica rules

# tooling
 * repl
 * cli
 * test case generator
 * browser-based rich editor
 * code formatter
 * sublime text plugin (syntax highlighting, autoindenting, brace closing)