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