最近，看到了最悲剧的天才数学家伽罗华的际遇及其群论的思想。发现群论可以成为代码生成器理论的数学基础。
以群论的语言，代码生成笛卡尔空间就是代码生成置换群，定义在此群上的算子不是四则混合运算，而是动词算子，是ListAll,ListAllByPage,ListActive,FindById,FindByName,SearchByName,SearchByFieldsByPage,Delete,DeleteAll,SoftDelete,SoftDeleteAll,Toggle,ToggleOne,Update。只要Domain的有限集即代码生成伽罗华域上此置换群不会产生逻辑矛盾。对群论理解尚浅，故记下以备忘。
可以认为，代码生成器置换群上定义的算子即运算越多，此置换群的空间越大，能力也越强。故引入群论或者说组合数学的理论基础，有助于使代码生成器的基础理论成为有数学基础的一门科学。
伽罗华生于1811年，故以乱弹十一为纪念。
代码生成器的基础理论需要解决的问题。
为什么代码生成器能够工作？
哪些动词在整个置换群上是正确的，那些在一定条件下是正确的？哪些会引入错误？
在整个代码生成器空间都正确的动词算子的约束条件。
哪些动词有内在矛盾，是包含错误的？
代码生成空间的域对象的规则是什么？
代码生成器的极限在哪里？
存在多少个代码生成器空间？
想到哪写到哪，备忘。
© 著作权归作者所有