From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Thu, 16 May 2013 21:57:05 +0000 (-0400)
Subject: Check in TODO list for LSA 2013.
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=80df019217729b7911556fb11d299299c4c2a73f;p=dyna2

Check in TODO list for LSA 2013.

Here's hoping.
---

diff --git a/docs/TODO.LSA b/docs/TODO.LSA
new file mode 100644
index 0000000..208d080
--- /dev/null
+++ b/docs/TODO.LSA
@@ -0,0 +1,48 @@
+TODO list for summer 2013.  Here's hoping!
+
+----- Input & Parser
+
+Concatenate multiple files / C-style include.
+    Possibly with filters?
+
+Utilities for encoding plain-text files to .dyna files.
+
+Parse QMode pragmas
+
+s/whenever/for/ in surface language
+
+List notation
+
+----- Frontend
+
+:= syntactic sugar
+
+----- Analysis
+
+Abstract unification really ought not unroll recursion quite so eagerly as
+it does.
+
+Mode declarations -> backward chaining!
+
+----- Backend
+
+Special error value (for = agg vio, div by 0, ...)
+
+Maybe something better for initializers or a real update API?
+
+Could we maybe get a better chart representation?
+
+DOpAMine improvements for non-ground structure (probably no time!)
+
+----- Documentation
+
+Mention ^C in documentation for diverging programs.
+
+----- Whole pipeline
+
+Need some better mechanism for executing queries after the agenda empties.
+
+Can we extract backpointers from the chart?
+
+Can we run anything on e.g. WSJ with L0 grammar?
+  sentence(N) = ...