msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

todo in compiler doc

Browse Source
This commit is contained in:
aarne
2006-10-23 20:36:40 +00:00
parent 445f448a6e
commit f240612ef4
1 changed files with 15 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
doc/compiling-gf.txt
View File

@@ -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