diff options
| -rw-r--r-- | doc/compiling-gf.txt | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/doc/compiling-gf.txt b/doc/compiling-gf.txt index e0d55cd8e..997b6647a 100644 --- a/doc/compiling-gf.txt +++ b/doc/compiling-gf.txt @@ -25,11 +25,9 @@ The grammar compiler prepares a GF grammar for two computational tasks: The grammar gives a declarative description of these functionalities, -on a high abstraction level that helps grammar writing +on a high abstraction level that improves grammar writing productivity. -Some of the ideas in GF and experience gained from it -can be useful for other special-purpose functional languages. #NEW @@ -557,3 +555,17 @@ Thanks to record subtyping, the translation is simple: \x1,...,xn -> (t x1 ... xn) ** {lock_C = {}} ``` +#NEW + +==Things to do== + +Better compression of gfc file format. + +Type checking of dependent-type pattern matching in abstract syntax. + +Compilation-related modules that need rewriting +- ``ReadFiles``: clarify the logic of dependencies +- ``Compile``: clarify the logic of what to do with each module +- ``Compute``: make the evaluation more efficient +- ``Parsing/*``, ``OldParsing/*``, ``Conversion/*``: reduce the number + of parser formats and algorithms
\ No newline at end of file |