Future directions

[ethanuppal]

After discussing with @rachitnigam, here are some thoughts for this language's future:

• As part of learning more about type systems/figuring out what approach works best for the expressivity I want, liquid types: https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf
• Look into sparse (matrix?) computations. Relevant paper: https://fredrikbk.com/publications/taco.pdf

Of course, this language will always be nothing more than a simple hobby project with subpar code quality, but it will be a useful pedagogical experience to see how far and in what direction I can take it.