動(dòng)詞算子式代碼生成器簡介【理論隨筆】

jerry_shen

代碼生成器技術(shù)亂彈九，代碼變變變，代碼生成器之度量

        代碼生成器是一種具有強(qiáng)大變形能力的編程工具，現(xiàn)在國內(nèi)的代碼生成器已經(jīng)非常多了，如此形形色色的代碼生成器究竟有沒有一個(gè)客觀的標(biāo)準(zhǔn)來衡量不同的代碼生成器的代碼生成能力呢？

        我認(rèn)為衡量代碼生成器變形能力的客觀標(biāo)準(zhǔn)是存在的，這就是一個(gè)代碼生成器所能夠生成的所有子系統(tǒng)的代碼空間之和，或稱為一個(gè)代碼生成器的笛卡爾空間或生成空間。考慮到一個(gè)待生成的系統(tǒng)的字段總數(shù)是N個(gè)字段，我們來算一下動(dòng)詞算子式代碼生成器的生成笛卡爾空間。

        代碼生成器的生成空間就是代碼生成器能生成的所有子系統(tǒng)的空間之和。也就是代碼生成器的笛卡爾空間。根據(jù)上面的分析，無垠式代碼生成器JEEEU版Ada 1.5的生成空間為（N-3)×20×3，我們可以簡單記為60N，為字段，動(dòng)詞算子和關(guān)系三者的笛卡兒積。和平之翼代碼生成器SMEU版3.1 烏篷船的生成空間為（N-3）×20×3×2，我們可以簡記為120N，為字段，動(dòng)詞算子，關(guān)系和數(shù)據(jù)庫類型四者的笛卡爾積。很顯然，源代碼沒有變形能力，所以，源代碼的生成笛卡爾空間為 1N。當(dāng)然，如果某個(gè)源代碼同時(shí)支持Mysql和Oracle兩種數(shù)據(jù)庫，根據(jù)上面的分析，他的笛卡爾生成空間是2N。

        讓我們?nèi)翰呷毫�，開發(fā)1000N級(jí)別(或者可以稱之為1000倍率)的代碼生成器吧。所有SGS(標(biāo)準(zhǔn)生成器腳本）體系的笛卡爾空間考慮到動(dòng)詞算子式代碼生成器大概有十來種架構(gòu)，如果每一種架構(gòu)的笛卡爾空間是60N，總空間大概是600N，就是有600倍率的變形能力。

jerry_shen

代碼生成器技術(shù)亂彈十一，伽羅華理論與代碼生成


    最近，看到了最悲劇的天才數(shù)學(xué)家伽羅華的際遇及其群論的思想。發(fā)現(xiàn)群論可以成為代碼生成器理論的數(shù)學(xué)基礎(chǔ)。
以群論的語言，代碼生成笛卡爾空間就是代碼生成置換群，定義在此群上的算子不是四則混合運(yùn)算，而是動(dòng)詞算子，是ListAll,ListAllByPage,ListActive,FindById,FindByName,SearchByName,SearchByFieldsByPage,Delete,DeleteAll, SoftDelete,SoftDeleteAll,Toggle,ToggleOne,Update。只要Domain的有限集即代碼生成伽羅華域上此置換群不會(huì)產(chǎn)生邏輯矛盾。對(duì)群論理解尚淺，故記下以備忘。
    可以認(rèn)為，代碼生成器置換群上定義的算子即運(yùn)算越多，此置換群的空間越大，能力也越強(qiáng)。故引入群論或者說組合數(shù)學(xué)的理論基礎(chǔ)，有助于使代碼生成器的基礎(chǔ)理論成為有數(shù)學(xué)基礎(chǔ)的一門科學(xué)。
    伽羅華生于1811年，故以亂彈十一為紀(jì)念。
    代碼生成器的基礎(chǔ)理論需要解決的問題。

    為什么代碼生成器能夠工作？

    哪些動(dòng)詞在整個(gè)置換群上是正確的，那些在一定條件下是正確的？哪些會(huì)引入錯(cuò)誤？

    在整個(gè)代碼生成器空間都正確的動(dòng)詞算子的約束條件。

    哪些動(dòng)詞有內(nèi)在矛盾，是包含錯(cuò)誤的？

    代碼生成空間的域?qū)ο蟮囊?guī)則是什么？

    代碼生成器的極限在哪里？

    存在多少個(gè)代碼生成器空間？

    想到哪寫到哪，備忘。

jerry_shen

代碼生成器技術(shù)亂彈十，動(dòng)詞與多維空間，動(dòng)詞變格理論簡述

    在動(dòng)詞算子式代碼生成器中，有若干遵循的基本設(shè)計(jì)準(zhǔn)則，簡述如下：

• 動(dòng)詞算子化
• 動(dòng)詞變格理論
• 面向棱柱
• 超級(jí)語言驅(qū)動(dòng)
• 技術(shù)棧中立
• 超泛型實(shí)現(xiàn)
• 一次編程，兩處調(diào)試
• 內(nèi)置代碼模板，經(jīng)過詳細(xì)測試，代碼模板不開放，通過版本更新和代碼生成器分支來支持新功能。
  

    現(xiàn)在我們?cè)敿?xì)分析一下其中的第二項(xiàng)：動(dòng)詞變格理論。

    其理念如下，在代碼生成的多維笛卡爾空間，存在著某個(gè)抽象的動(dòng)詞算子比如說是ListAll，它在多維空間的投影產(chǎn)生出比如DaoImpl，Dao，ServiceImpl，Service，F(xiàn)acade，JSAction和JSButton這7個(gè)動(dòng)詞算子的影子。在和某個(gè)域?qū)ο蟊热缯f是Student結(jié)合以后，會(huì)形成7個(gè)具體的ListAllStudents函數(shù)。

    這種現(xiàn)象非常類似于英語中的時(shí)態(tài)變化或者說是動(dòng)詞變格，所以這種代碼生成器的設(shè)計(jì)被稱為動(dòng)詞變格理論。就比如所對(duì)英語動(dòng)詞Have來說，Has, Had和Haven是動(dòng)詞have的變格，上述我們對(duì)動(dòng)詞算子ListAll的分析發(fā)現(xiàn)，在和平之翼代碼生成器中，動(dòng)詞算子一共有7個(gè)格。動(dòng)詞中，擁有7個(gè)格的形態(tài)的動(dòng)詞算子是全棧動(dòng)詞，而部分動(dòng)詞格缺失的動(dòng)詞算子是非全棧動(dòng)詞。

    為什么這么設(shè)計(jì)，這是為了標(biāo)準(zhǔn)化和簡化不同層級(jí)的函數(shù)的調(diào)用關(guān)系，并簡化代碼調(diào)用之網(wǎng)。從而降低開發(fā)時(shí)的測試工作量和代碼生成器的品質(zhì)。

    您有何種看法？歡迎跟帖。

jerry_shen

代碼生成器技術(shù)亂彈十二，步槍，T型車到代碼生成器，模板法的工業(yè)魔術(shù)
    在《產(chǎn)生式編程》一書中，作者帶我們重述歷史，去探尋自動(dòng)化的緣起。人類歷史上第一種工業(yè)化產(chǎn)品，沒錯(cuò)，是一種武器。19世紀(jì)，美國生產(chǎn)出人類歷史上第一種真正工業(yè)化的產(chǎn)品，一種可以互換零件使用的步槍。這是一次技術(shù)革命，從此，制品有了型號(hào)，標(biāo)準(zhǔn)，公差，互換零件等等一系列手工制作階段沒有的嶄新概念。一種互換零件的步槍的強(qiáng)大之處之一是你可以從兩把爛步槍湊出一把好步槍。這是從來沒有過的事情。這其實(shí)就是模板法第一次展現(xiàn)它的工業(yè)魔術(shù)。

    而后，福特的T型車是模板法的第二次魔法，第一次人類歷史上出現(xiàn)了生產(chǎn)流水線的概念。在互換零件的步槍的裝配時(shí)還沒有生產(chǎn)流水線，也許是因?yàn)椴綐尡容^輕，不需要太多力氣就可以搬動(dòng)。而汽車的生產(chǎn)，流水線的使用可以大幅度提高效率。

    代碼生成器時(shí)代，其實(shí)，形形色色的代碼生成器都是模板法的杰作，他們帶來了工業(yè)化編程方式。動(dòng)詞算子是代碼生成器也是基于模板法的。但是，動(dòng)詞算子式代碼生成器的模板是切成原子化的Verb的。只有一個(gè)域?qū)ο蠼Y(jié)合了恰當(dāng)?shù)膭?dòng)詞算子，它才能生成具體的代碼。動(dòng)詞算子其實(shí)是一組函數(shù)級(jí)代碼生成器，只需結(jié)合恰當(dāng)?shù)挠驅(qū)ο�，就可以生成具體的函數(shù)。而且，域?qū)ο笠脖粚訉忧虚_，分成了Type，F(xiàn)ield ,Var,Signature等等。這些東西在動(dòng)詞算子式代碼生成器中統(tǒng)一稱為化身變量。動(dòng)詞算子式代碼生成器就是靠徹底分解和重新組合擁有了代碼生成的魔力的。

   根據(jù)動(dòng)詞算子式代碼生成器的設(shè)計(jì)哲學(xué)。從系統(tǒng)層面，只存在著域?qū)ο�，名詞和各種動(dòng)詞算子，模板法是具體的實(shí)現(xiàn)機(jī)制，是被屏蔽的。所以動(dòng)詞算子式代碼生成器的模板是藏起來的，實(shí)現(xiàn)新功能，您就等著新版本和新分支吧。沒有合適的話，您不妨自己分支一個(gè)。

    歡迎大家的看法和意見。