Changes between Version 9 and Version 10 of NativeMetaprogramming


Ignore:
Timestamp:
Mar 13, 2017 3:05:02 PM (3 years ago)
Author:
Shayan-Najd
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NativeMetaprogramming

    v9 v10  
    246246datatype to stand for extensions, and each extension is projected out of it by a unique label.
    247247
    248 We will explain details of the extensible datatypes, the tool, and the
    249 possible encodings separately.
     248We explain details of the extensible datatypes, the tool, and the
     249possible encoding separately [http://www.jucs.org/jucs_23_1/trees_that_grow/jucs_23_01_0042_0062_najd.pdf here] and [https://arxiv.org/abs/1610.04799 here].
    250250
    251251==== Current Status ====
     
    259259==== Next Steps ====
    260260We, the GHC developers, have to discuss the details of the work in details, as changes to the `HsSyn` AST affect the entire code base.
    261 I will present the work at Haskell Implementors Workshop at Nara, Japan, and from then, I hope we can start further serious discussions about this.
     261I present the work at Haskell Implementors Workshop at Nara, Japan (recorded [https://www.youtube.com/watch?v=DSWoGdfYt68 here]), and from then, I hope we can start further serious discussions about this.
    262262Specifically, we have to find a simple way to do all this massive refactoring required for extracting the `HsSyn` AST and the parser as separate packages,
    263263a. without risking introducing bugs,