Permalink
Browse files

get compiler back into a working state, isolate CPS research

  • Loading branch information...
1 parent f149eae commit 8e89c0d0d3fa4a5935b10f113872223d36353f84 @jlongster committed Nov 15, 2012
Showing with 1,606 additions and 5,489 deletions.
  1. +37 −3 NOTES
  2. +0 −3,851 a.js
  3. +111 −129 ast.js
  4. +528 −573 backends/js.js
  5. +3 −3 backends/js.ol
  6. +138 −267 compiler.js
  7. +13 −13 compiler.ol
  8. +75 −0 cps-research/cps2.ol
  9. +277 −0 cps-research/cps3.ol
  10. +83 −151 cps.js
  11. +164 −233 reader.js
  12. +71 −127 runtime.js
  13. +1 −3 runtime.ol
  14. +105 −132 test.js
  15. +0 −4 tests/loop.ol
View
@@ -1,7 +1,41 @@
-I am currently working on optimizing the CPS transformation of Outlet
-(for debugging). I wrote a post about this and received good feedback.
-Here are things I need to think about or study:
+It's time to solidify the semantics of Outlet (name to be changed). We
+now know the requirements, so we should be able to make informed decisions.
+
+The most important thing will be how modules are implemented. Modules
+and interfaces are important for compilation strategies: compiling
+separately, calling conventions, etc. Modules should have enough
+information for the compiler, but not force the dev to be too verbose.
+
+We need to make sure REPL-style development is still possible with
+modules. Being able to be "inside" of a module is extremely useful.
+
+There will be two different calling conventions in Outlet:
+
+* Normal (javascript)
+* CPS
+
+It's impossible for one to work with the other. You can make it work,
+but it's pointless because you lose the full ability to pause the
+program or do anything with the continuations.
+
+Maybe modules aren't the answer to compiling units separately and
+mixing calling convention. It looks like we'll need to compile
+everything either with CPS or not.
+
+So let's play around with CPS, compiling everything with it by default
+and adding an optimization argument to compile without it. We'll see
+if it's fast enough to continue with this.
+
+NOTE: After some research, the CPS form of javascript isn't too bad
+performance-wise, but it's still worrisome. It's an interesting
+technique, but the performance hit combined with the complexity of
+calling conventions makes this a difficult solution for stepping
+debugging.
+
+**
+
+CPS Research:
* "A First-Order One-Pass CPS algorithm" - Danvy, 2001 (clojure-tco)
** http://www.brics.dk/RS/01/49/BRICS-RS-01-49.pdf
Oops, something went wrong.

0 comments on commit 8e89c0d

Please sign in to comment.