Parser

[MonoidMusician]

My plan is not to have the user interact with a parser to write code (at least not much), but in order to integrate with the existing ecosystem, we will need a Dhall parser. :sadlambda: (jk)

My plan would be to start small: builtin types, simple literals, binary operators, lambda/pi expressions, and maybe let … in ... then array literals, eventually record/union literals/types. That would be enough to verify the basic algorithms, and we can always expand from there.

Another option would be to utilize the parser in dhall-haskell and get it to json encode the parsed AST, but that requires some way to interface with native OS processes, or a CORS web interface to the process. I don’t know if that is a real possibility.