🚀 go-pugleaf

In article <1992Oct27.184717.15170@cs.yale.edu> odersky@pigeon.CS.YALE.EDU (Martin Odersky) writes:
   I like the idea of integrating functional and imperative programming, but  
   don't think this particular correspondence holds up under close  
   inspection. For instance, what do you do about procedures? E.g.

     let a = 0
     let inc cont = let a = a + 1 in cont
     in inc (inc (inc done))

   clearly does not do three increments in the last line.
   If your answer is: "expand the code of all procedures before
   binding any variables" then you have essentially Forsythe.

Does anybody have any up to date information on Forsythe?  The last
report I read (April 91 I think) stated that effort was being put into
the design of the type checker and in optimising away inefficiencies
due to the use of call-by-name.  Has any progress been made?

bevan