Часть 3. Первые шаги

Итак, получив работающую виртуальную машину, я принялся за написание компилятора снизу-вверх. Первым делом система команд ВМ была описана в виде набора типов:

type dst = RegDest of int | PntDest of int;; 
type src = Reg of int | Pnt of int | Val of int;; 
 
type 'loc command =  
  | Arith of oper * dst * src * src 
  | Mov of dst * src 
  | Movb of dst * src 
  | Jmple of 'loc * src * src 
  | Jmpeq of 'loc * src * src 
  | Jmp of 'loc 
  | Print of src 
...

Сделал вывод ее в текст в форме, которую можно вставить в текст на Си: int prg[] = { ... };
Тут оказался очень полезен окамловский паттерн-матчинг, особенно когда появились команды, являющиеся частными случаями других:( Read more... )