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

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

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

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

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

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