代码生成器技术乱弹十一，伽罗华理论与代码生成器

阅读更多

    最近，看到了最悲剧的天才数学家伽罗华的际遇及其群论的思想。发现群论可以成为代码生成器理论的数学基础。

    以群论的语言，代码生成笛卡尔空间就是代码生成置换群，定义在此群上的算子不是四则混合运算，而是动词算子，是ListAll,ListAllByPage,ListActive,FindById,FindByName,SearchByName,SearchByFieldsByPage,Delete,DeleteAll,SoftDelete,SoftDeleteAll,Toggle,ToggleOne,Update。只要Domain的有限集即代码生成伽罗华域上此置换群不会产生逻辑矛盾。对群论理解尚浅，故记下以备忘。

    可以认为，代码生成器置换群上定义的算子即运算越多，此置换群的空间越大，能力也越强。故引入群论或者说组合数学的理论基础，有助于使代码生成器的基础理论成为有数学基础的一门科学。

    伽罗华生于1811年，故以乱弹十一为纪念。

    代码生成器的基础理论需要解决的问题。

    为什么代码生成器能够工作？

    哪些动词在整个置换群上是正确的，那些在一定条件下是正确的？哪些会引入错误？

    在整个代码生成器空间都正确的动词算子的约束条件。

    哪些动词有内在矛盾，是包含错误的？

    代码生成空间的域对象的规则是什么？

    代码生成器的极限在哪里？

    存在多少个代码生成器空间？

    想到哪写到哪，备忘。

© 著作权归作者所有