lvca
lvca copied to clipboard
joelburget
language verification, construction, and analysis
The primitive parser doesn't currently parse `int32`s. We should either introduce a syntax for them (?) or document this.
1. The worst part is that they require `Wrapper`. We should be able to ignore this 2. `val language : Lvca_syntax.Abstract_syntax.t` is always required. 3. There's this awkward wrapping with...
Create new provenance type that summarizes where a value was evaluated.
Classical parts of a language: * abstract syntax (not all types will have this, those that do... add `Representable` type?) * concrete syntax ☑ * statics -- add checking? *...
Error only in the browser. The message is completely useless: It's possible to get locations by deleting the source map. Error goes away when you comment out the `| lambda(value....
I think it's important to have a _core_ language that serves as a good default target. My initial attempt looks like this: ```ocaml type core = (* first four constructors...
The three classic pretty-printer papers: * [Pretty Printing](http://i.stanford.edu/pub/cstr/reports/cs/tr/79/770/CS-TR-79-770.pdf) -- Derek C. Oppen, 1979. * [The Design of a Pretty-printing Library](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.8777) -- John Hughes, 1995. * [A prettier printer](http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf) -- Philip...
Metadata
Owner
Metadata
language verification, construction, and analysis