Porting the Style compiler to the web

[wodeni]

Description

Related issues: #336

We will port the Style parser and compiler into TypeScript.

Implementation strategy and design decisions

TODO

Examples with steps to reproduce them

TODO

Checklist

TODO: update checklist for TS

• I have commented my code, particularly in hard-to-understand areas
• I ran Haddock and there were no errors when generating the HTML site
• My changes generate no new warnings
• New and existing tests pass locally using stack test
• My code follows the style guidelines of this project (e.g.: no HLint warnings)

Open questions

Questions that require more discussion or to be addressed in future development:

[wodeni]

AST types are converted to TS. See penrose-web/src/compiler/Style.ts for a possible place to put the Style compiler code: @hypotext. The top-level function should be compileStyle, and its signature looks like something like this:

export const compileStyle = (styAST: StyProg, subout: SubOut): Stete => {
  // TODO: fill in the style compiler here
}

[wodeni]

All types for SubOut (including VarEnv etc) are converted to TS as well. Note that these types will need some tweaking due to naming/structural issues, but they should be good enough as a starting point for writing the Style compiler (@hypotext ). I'd suggest we leave them for now and wait until the Domain/Substance port.

[wodeni]

Since the histories of this branch and master have diverged, #419 is currently tracking this feature instead.