[pypy-svn] rev 1904 - pypy/trunk/doc/funding

[pedronis at codespeak.net]

Author: pedronis
Date: Tue Oct 14 17:37:02 2003
New Revision: 1904

Modified:
   pypy/trunk/doc/funding/B1.0_objectives.txt
Log:
more structure to Current State of the Art


Modified: pypy/trunk/doc/funding/B1.0_objectives.txt
==============================================================================
--- pypy/trunk/doc/funding/B1.0_objectives.txt	(original)
+++ pypy/trunk/doc/funding/B1.0_objectives.txt	Tue Oct 14 17:37:02 2003
@@ -81,13 +81,8 @@
 Current State of The Art
 ------------------------------
 
-Haskell monadic modular interpreters [LHJ95]_ [H98]_ are a
-researched attempt at achieving modularity for interpreters. They have
-not been tried on something as large as Python, however, as the approach is hard
-to relate to for programmers accustomed to more conventional Object-Oriented 
-(OO) programming and requires sophisticated partial evaluation to remove the
-monadic overhead. Monad transformers can also be used to modularize
-continuation passing, exceptions and other control flow aspects.
+Intepreters Modularity
+++++++++++++++++++++++++ 
 
 In its basics, the approach of writing a language interpreter in the
 language itself (a subset thereof) and then producing a running
@@ -100,6 +95,18 @@
 translator, the code and Object Spaces encapsulating the core language
 and its semantics and further pluggable modules for both.
 
+Haskell monadic modular interpreters [LHJ95]_ [H98]_ are a
+researched attempt at achieving modularity for interpreters. They have
+not been tried on something as large as Python, however, as the approach is hard
+to relate to for programmers accustomed to more conventional Object-Oriented 
+(OO) programming and requires sophisticated partial evaluation to remove the
+monadic overhead. Monad transformers can also be used to modularize
+continuation passing, exceptions and other control flow aspects.
+
+
+JITs and Dynamic Optimisation Complexity
+++++++++++++++++++++++++++++++++++++++++++
+
 JIT compilers have been reasonably well studied; an account of their
 history is given in [A03]_ . But actually writing a JIT compiler for
 a given language is generally a major task [WAU99]_ .
@@ -287,4 +294,4 @@
    Loingtier and John Irwin, "Aspect-Oriented Programming", ECOOP'97
    http://www2.parc.com/csl/groups/sda/publications/papers/Kiczales-ECOOP97/for-web.pdf
 
-.. file = kiczales97aspectoriented.pdf
\ No newline at end of file
+.. file = kiczales97aspectoriented.pdf