ООП в Окамле

топ 100 блогов thedeemon28.06.2010 Сегодня впервые столкнулся с ситуацией, где использование ООП фич Окамла показалось уместным. Понадобилось по-разному трансформировать дерево программы в моем конпеляторе Leo. Например, нужно заменить переменные с заданными именами на заданные выражения. Или заменить везде один оператор на другой. В обоих случаях нужно аккуратно рекурсивно обойти все дерево и построить точно такое же, но в одном аспекте отличающееся. Дерево описывается набором ссылающихся друг на друга алгебраических типов - стейтменты, выражения, условия и т.д. Был бы это один тип, можно было бы следать универсальную функцию map, рекурсивно применяющую функцию-аргумент к узлам дерева, а так получается, что функций и аргументов понадобится много. Поэтому сделал иначе: объединил функции рекурсивного обхода в один класс, у которого можно переопределить нужные куски, остальное отдав на откуп унаследованной функциональности.

class mapper =  
  object(self) 
    method map_code code = List.map self#map_stmt code 
     
    method map_stmt = function 
      | Break | DefVar _ as x -> x 
      | Assign(lv, rv) -> Assign(self#map_lvalue lv, self#map_rvalue rv)    
      | Call(name, rvs) -> Call(name, List.map self#map_rvalue rvs)         
      | Comp code -> Comp(self#map_code code) 
      ... 
       
    method map_lvalue = function  ... 
    method map_rvalue = function  ... 
    method map_cond = function  ...  
  end 

Например, замена переменных по переданному набору имя-значение выглядит так:

let subst_vars smap code = 
  let o = object 
      inherit mapper as super 
      method map_lvalue = function 
        | Var name as x -> (try M.find name smap with Not_found -> x) 
        | something_else -> super#map_lvalue something_else 
    end  
  in o#map_code code

Тут создается объект неназванного типа, унаследованного от класса mapper, в нем переопределен один метод, а в нем фактически переопределен только один вариант АТД, все остальное делает базовый класс, рекурсивно проходя по всем закоулкам и вариантам дерева. Это можно еще упростить. Например, для трансформации стейтментов была добавлена такая функция:

let subst_code_by_stmt f code =  
  let o = object 
      inherit mapper as super 
      method map_stmt st =  
        match f st with Some st' -> st' | None -> super#map_stmt st 
    end  
  in o#map_code code

Использование которой для совершения конкретной трансформации сводится вообще к одной строчке:

C.subst_code_by_stmt (function C.Print x -> Some(C.Prchar x) | _ -> None) code


Кажется, без ООП так просто не получилось бы.

Оставить комментарий

Архив записей в блогах:
По совету моих читателей я решила расширить свои сериальные горизонты и к дорамам из Южной Кореи добавить Китайские и Японские. И, опять же, по совету читателей, начала я с просмотра японского триллера «Алиса в Пограничье», снятого Netflix. Сериал состоит из двух сезонов. Сам сюжет ...
Но на этой фотке я со своим братом. Единоутробным, так сказать. P.S. Если кто меня никогда не видел - я слева, ггг ...
Перемещение миллионов смартфонов ежедневно отслеживается различными службами геолокации. Согласно официальным данным, вся информация о местоположении отдельно взятых пользователей обезличена и не поддаётся отслеживанию. С этим утверждением не согласились журналисты New York Times, ...
Репортаж из очереди к помойке, где стоят пенсионеры, бывшие товароведы и предприниматели 15 января президент России Владимир Путин в послании к федеральному собранию сообщил, что у страны есть деньги. Есть, из чего увеличивать маткапитал, есть возможность дотянуть МРОТ до ...
Пятничное. Текущее. В стране выходной. Традиция в выходные, шоркаться по магазам. Сегодня едем в IKEA. Совместно с супругой было приобретено ситечко системы "Хо-Хо, Ого-го-го". Точная копия , как на видео.  Цена 0.99 евро. ...