Facebook開源Haskell重構(gòu)工具Retrie

臉書在GitHub上開源了Haskell程序代碼重構(gòu)工具Retrie，該工具可簡化Haskell程序重構(gòu)工作，提升整體重構(gòu)速度，并且使重構(gòu)程序代碼更加安全，臉書提到，開發(fā)人員可以利用Retrie，重新編寫超過100萬行程序代碼的大型Haskell程序，其使用Haskell語法中的方程式，而非正規(guī)表達(dá)式，因此更為簡單，且Retrie還能避免出現(xiàn)大型類別的重構(gòu)錯(cuò)誤。

重構(gòu)程序代碼可以改善程序代碼庫的整體設(shè)計(jì)，但整個(gè)過程可能相當(dāng)繁瑣耗時(shí)，臉書表示，重構(gòu)時(shí)為了避免錯(cuò)誤，通常是以人工手動(dòng)更改的方式進(jìn)行，并且每次少量的漸增進(jìn)行，但是隨著程序代碼增加，這種方法越來越不可行，需要使用工具來協(xié)助重構(gòu)進(jìn)行。

而重構(gòu)工具主要分為兩類，一類是查詢和替代字符串工具，這類工具雖然執(zhí)行快速，但是很難表達(dá)復(fù)雜的重寫概念，而另一種則是解析和操作抽象語法樹（Abstract Syntax Tree，AST）的工具，但因?yàn)樾枰獜V泛的領(lǐng)域知識門檻較高，且較字符串替代的方法慢。

Retrie的定位則在兩者中間，相較定義正規(guī)表達(dá)式和AST走訪，以Haskell語法方程式進(jìn)行重新編寫更容易，臉書表示，因?yàn)榉匠淌奖日?guī)表達(dá)式更強(qiáng)大，而且可以編寫腳本，因此Retrie比單純?nèi)〈址姆椒ǜ`活，而且Retrie還利用多種解析技術(shù)，縮小尋找相符項(xiàng)目的搜索空間，比典型的AST工具更快。

臉書提到，在2015年的時(shí)候，他們發(fā)現(xiàn)反濫用規(guī)則引擎Sigma的規(guī)則日益增加，為了更容易地管理其規(guī)模以及復(fù)雜性，便把Sigma移植到了Haskell上，臉書利用Sigma來阻擋垃圾郵件、網(wǎng)絡(luò)釣魚攻擊和惡意軟件，進(jìn)而保護(hù)臉書上的用戶。Retrie可以讓臉書快速安全地將Sigma的規(guī)則，搬遷到新的API以及函數(shù)庫上。