最近,看到了最悲劇的天才數學家伽羅華的際遇及其羣論的思想。發現羣論能夠成爲代碼生成器理論的數學基礎。對象
以羣論的語言,代碼生成笛卡爾空間就是代碼生成置換羣,定義在此羣上的算子不是四則混合運算,而是動詞算子,是ListAll,ListAllByPage,ListActive,FindById,FindByName,SearchByName,SearchByFieldsByPage,Delete,DeleteAll,SoftDelete,SoftDeleteAll,Toggle,ToggleOne,Update。只要Domain的有限集即代碼生成伽羅華域上此置換羣不會產生邏輯矛盾。對羣論理解尚淺,故記下以備忘。數學
能夠認爲,代碼生成器置換羣上定義的算子即運算越多,此置換羣的空間越大,能力也越強。故引入羣論或者說組合數學的理論基礎,有助於使代碼生成器的基礎理論成爲有數學基礎的一門科學。基礎
伽羅華生於1811年,故以亂彈十一爲記念。date
代碼生成器的基礎理論須要解決的問題。List
爲何代碼生成器可以工做?生成器
哪些動詞在整個置換羣上是正確的,那些在必定條件下是正確的?哪些會引入錯誤?語言
在整個代碼生成器空間都正確的動詞算子的約束條件。工作
哪些動詞有內在矛盾,是包含錯誤的?let
代碼生成空間的域對象的規則是什麼?錯誤
代碼生成器的極限在哪裏?
存在多少個代碼生成器空間?
想到哪寫到哪,備忘。