search

hazelgrove / hazelnut-popl17

Submission to POPL 2017
2 stars 1 forks source link

typechecker implementation #48

Closed ivoysey closed 8 years ago

ivoysey commented 8 years ago

“Is the assumption that the typing derivations are kept around by the editor and then modified? Or is it just an optimization to only re-check if certain edit actions are applied?”

ivoysey commented 8 years ago

we said Only those action rules that have a typing premise need to invoke the typechecker, and then only on subtrees of the program (see our implementation). Keeping around the types of subtrees would allow for further optimization even beyond this.