`
jerry_shen
  • 浏览: 98885 次
  • 性别: Icon_minigender_1
  • 来自: 上海
社区版块
存档分类
最新评论

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

    博客分类:
  • Java
阅读更多
    最近,看到了最悲剧的天才数学家伽罗华的际遇及其群论的思想。发现群论可以成为代码生成器理论的数学基础。

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

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

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

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

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

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

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

    哪些动词有内在矛盾,是包含错误的?

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

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

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

    想到哪写到哪,备忘。

© 著作权归作者所有
分享到:
评论

相关推荐

Global site tag (gtag.js) - Google Analytics