dyna

dyna copied to clipboard

Eventually we'll want to worry about reclaiming (unmemoized) terms from the intern table. Discussion of Dyna 1 is here: http://www.dyna.org/wiki/index.php?title=Garbage_collection

jeisner

special color for user input in REPL

5

Could user input be shown at the REPL in a special color? Or perhaps in bold? It's nice to distinguish input from output when scrolling. And it would also be...

jeisner

jeisner

argument of with_key doesn't parse correctly

5

Syntactic bug in implementation of #29. This works: ``` pathto(start) min= 0 with_key [start]. pathto(V) min= pathto(U) + edge(U,V) with_key [V | bestpath(U)]. bestpath(U) = $key(pathto(U)). ``` But this doesn't:...

jeisner

check that first argument of comma is a boolean

2

Ultimately by type checking, of course, but for now you could even do it by adding a conjunct of the form is_bool(X).

jeisner

better sort order for query results

5

Right now results are sorted by an item's print name, giving the out-of-order results below. It would be nice to sort instead by a recursive comparison function on terms that...

jeisner

Randomization

6

It would be nice if Dyna had some kind of randomization, so students could play around with generating random ngram sentences.

darcey

lack of convergence around cycles

2

I was having trouble getting forward-backward to converge in the cyclic word graph, even when I kept only the swapadj edges (so there weren't many) and made them be low-probability...

jeisner

@jeisner writes on Issue #1: > @timvieira: We should probably scrap dumping then entire charts all together. Eventually (when we have backward chaining) many items won't be eagerly derived. Yes,...

timvieira

automatic backchaining declarations?

8

@nwf: Students who innocently try to define an innocent-looking function will be met with a scary and unhelpful error message (see below). I'd rather not have to explain planning and...

jeisner