卒論

手順

schemeのソースを読み込む。
ocamlyacc,ocamllexを使って読み込んでリスト形式のデータにする。

schemeのspecial formに従ってschemeの構文解析を行う。
さらにalpha変換を行って変数の出現をユニークにする。

javaへの変換の仕方

syntax

type ident = I of string
let ppI (I(x)) = x

type term =
  | Int of int
  | Float of float
  | String of string
  | Bool of bool
  | Var of ident
  | Nil
type exp =
  | Term of term
  | If  of exp * exp * exp
  | Let of bind list * exp
  | Fix of fbind list * exp
  | Primsym of prim * exp list
  | App of exp * exp list
and bind = {vname : ident ; vbody : exp }
and fbind = {fname : ident ; fargs : ident list ; fvody : exp }
    

1. if文

   (if a b c)
   	  

   ↓

   if(a){ 
     b; 
   }else{ 
     c; 
   }
   	  

2. Let文

   (let ((a (+ 1 3)))
       (+ a a))
   	  

   ↓

   ScmObj a = ScmInt(1 + 3);
   return ScmInt(((ScmInt)a).evalInt() + ((ScmInt)a).evalInt());
   	  

3. App文

   (f 1)
   	  

   ↓

   return ((ScmProc)f).app(ScmInt(1));
   	  

4. Fix文

   (fix ((suc (x) (+ x 1)))
     (suc 1))
   	  

   ↓

   class suc
   	  

5. Fix文

   (fix ((suc (x) (+ x 1)))
     (suc 1))
   	  

   ↓