可计算离散整体几何结构:编程语言-Lgeo

AI+LLM+思维链+Lean4：过滤出创造性工作部分

AI for Math Book：potential Project

AI for Math

AI讨论基础的分类 

可计算离散整体几何结构：编程语言的思路。

“Free as in free speech, not as in free beer.”

作为一个计算机科学家和程序员，用过vb，pascal，c，c++，c sharp，python。。。。。。。等到无数种语言，开发一个原创的“编程语言”是执念，但已经有c++，python，等，开发一个同类的没有意义和动机。

找到了一个“motivation”开发全新编程语言就是本帖子的主题。

Leo de Moura（利奥・德・莫拉）在微软找到氛围、环境、条件、历史发展过程，开发出Lean

因此，我们这个"可计算离散整体几何结构”编程语言首先是想办法凑出来Leo de Moura（利奥・德・莫拉）当时类似的适合“编程语言”开发的周边环境。

因为编程语言开发的工具，技术，编译原理已经很成熟。

欧美在编程语言开发上有很多传奇和关键点：例如GNU， GCC, Python,  LLVM，Clang等，

https://llvm.org/

https://llvm.gnu.ac.cn/

可计算离散整体几何结构：编程语言 暂定命名为：Lgeo. 

Lgeo基于LLVM，自启动。初始语言可能需要用c++开发，然后实现自启动。

Lgeo的语法精髓是吧“整体几何结构”的逻辑内嵌进去。

Lgeo的语法天然内置“几何数据渲染可视化”的逻辑。

Lgeo可能会对Lean开放一个调用接口。

Lgeo定位是狭窄区域专门编程语言，不是c++哪种通用的处理硬件等的语言。