39 ms·
My solution allows incremental compilation. It is just a type system hack, and it does not even involve backtracking (my second favourite compilation technique)
by sklogic 11y ago
My solution allows incremental compilation. It is just a type system hack, and it does not even involve backtracking (my second favourite compilation technique), just a two pass typing instead of a single pass.
As for the compilation speed, the Nanpass-like approach is very parallelisable and there is a lot of space for nice optimisations (like pass fusion).
- nickpsecurity 11y agoCurious, do you publish your tools that implement your solution?
- sklogic 11y agoOnly partially (see the discussion elsewhere in this thread). It's a work in progress. But I hope to be able to roll out a working prototype soon. The main component of this type system (weak sets unification) is already published.
- nickpsecurity 11y agoCool, cool.