google / gulava Goto Github PK

Instead of:

final Goal order_endOfLists(Void sub, Void full) {
  return UNIT;
}

It would be nice to just write:

final void order_endOfLists(Void sub, Void full) {}

How constraints could work:

• In Subst, store instances of Constraint interface in place of actual values for vars that are constrained
• Multiple variables can share the same Constraint, for instance to express (A != 5 || B != 10).
• When binding a Var and it has a Constraint assigned to it, verify it is still satisfied. If so, the Constraint can choose to change the Subst and replace itself with a new Constraint, assign new Constraints to different Vars, etc.

Instead of this:

    final Goal order_select(Cons<?, ?> sub, Cons<?, ?> full) {
      return conj(
          same(sub.car(), full.car()),
          order(sub.cdr(), full.cdr()));
    }

It would be nice to write:

    final <A> Goal order_select(Cons<A, ?> sub, Cons<A, ?> full) {
      return order(sub.cdr(), full.cdr());
    }

This could be called an overloading of the meaning of generic type arguments. That's not a bad thing necessarily.

It would be nice to be able to pass non-logic types (e.g. int or String) to predicates and let those values pass through to clauses unchanged.