一点点小想法,使用ai做了一个编程语言,看看ai能不能全部实现

zqhsqb🛡️ 2026-07-12 04:18 1

每一次写代码的时候,都感觉有一些太麻烦了,我就觉得不该这么麻烦

所以,我把我的想法整理成了两个文档,并提出了HSSI框架,使用的是claude的模型,累计运行了有数日,底层由我来指导和部分开发,claude辅助大部分

目前已经实现了元循环自举(为了满足一些恶趣味,这个语言我起名为SBT,生成的文件为.sb)




这个语言的我认为不错的创新(虽然好像有一点自卖自夸了hhh):



  1. 变量历史栈


所有 let 声明、 += 这类整体赋值会自动留存变量快照,通过 变量@数字索引 随时回溯历史值,配套内置工具 historyLen() 统计版本、 restoreTo() 回滚历史。

关键区分:数组/对象内部原地修改( arr[0]=1 )不会生成历史版本,只有完整覆盖赋值才保存快照,精准区分「修改内部元素」和「替换整个容器」,不用手动打日志调试



2. 数字层级作用域 [n]变量 + global.全局变量


常规语言嵌套函数/代码块访问外层变量只能靠闭包,极易误修改全局状态

SBT可以 [层数]变量 直接向上读取任意层级作用域, global.xxx 强制标记全局变量,修改全局必须显式标注,规避隐蔽bug

支持组合写法 [2]x@0 :跨两层作用域读取x的初始历史版本,作用域+历史栈两套系统无缝联动



  1. parity 原生奇偶语义类型


行业少见原生内置类型,自动识别数字、字符串、数组、对象的奇偶属性,自动转为布尔值,不用手写 x%2 == 0 、判断文本长度等重复代码:

数字看数值奇偶、字符串看字符总数、数组看元素个数


附加设计:数组非变异机制


JS/Python数组方法会原地篡改数据,多层传参极易出隐性bug;

SBT所有 push/pop/sort 等数组方法不修改原数组,只返回新数组,必须手动重赋值,配合历史栈天然生成独立状态,数据流清晰。




个人最大创意:


HSSI 14维多维执行框架


全称Hyper-Spectral Spatiotemporal 超光谱时空意图框架,核心思路:把程序执行拆成14个完全正交、可独立开关的执行维度,不用什么功能就关闭,零性能开销。

每个维度对应一类程序核心能力,配套统一维度编织器Weaver调度,附带四级优先级跨维度约束系统,适合风控、调度、多仿真场景:



  1. W世界维度:多并行沙箱分支,支持fork派生独立执行环境,用于A/B对比、事务隔离、推测执行(目前仅标签系统,写时复制隔离待完善)


  2. Δ变更维度:全局变更日志+因果链追踪,原生支持undo/redo、全链路审计


  3. T时间维度:事件溯源、时间旅行,可回放到任意程序快照(底层库完成,脚本API待开发)


  4. I意图维度:声明式目标调度,多套执行策略自动降级、沙箱试错

    剩余10正交维度:概率P、空间S、代理A、事件E、数据流F、约束C、契约K、版本V、角色R、遗忘O

    配套跨维度约束系统:硬/关键/普通/软4级规则,赋值、事件触发自动校验业务约束,不用零散if判断堆砌规则




当前已完整落地、可直接运行的功能



  1. 完整基础语法体系


变量 let/const 、全部运算符、三元表达式;if/while/for/for each循环;break/continue

函数、lambda匿名函数、闭包、高阶函数、多返回值解构

数组/对象+map/filter/reduce函数式API;基础类与单继承、完整异常捕获

双代码块兼容:缩进式、花括号式二选一,适配不同编码习惯

全中文标识符支持,变量/函数名可以直接写中文



  1. IO、模块、配套工具稳定可用


文件/目录读写、JSON序列化、命令行参数ARGV、字符转换 ord/chr 、标准错误输出eprint

模块导入导出、单文件脚本运行、交互式REPL;

自举三件套:词法器、解析器、解释器全部用SBT编写,实现元循环自举,可以用SBT代码执行SBT程序



  1. HSSI已开放可用能力


W世界、Δ变更维度完整开放脚本API, activate [W, Δ] 激活后可fork世界、查看变量变更因果链

维度激活/休眠语法解析完全正常,其余维度底层Rust库已实现,仅上层脚本调用接口未开发




缺陷:


(一)语言语法与标准库短板



  1. OOP面向对象残缺




  • 无 super() 父类构造调用,子类需要手动复制父类初始化代码,继承开发繁琐


  • 缺少静态方法、类装饰器、访问修饰符、多态完整支持


  • 无接口、抽象类,大型项目分层能力弱




  1. 标准库极度匮乏

    仅内置基础文件、JSON、字符串工具,网络请求、日期时间、正则、多线程、GUI、数据库、加密、数学高级库;无第三方包管理系统,无法引入外部依赖


  2. 并发/异步完全未落地

    async/await 仅保留语法解析,无运行时调度、协程、线程池,不适合IO密集、高并发服务开发


  3. 容器能力限制

    对象遍历固定字典序,无法保留插入顺序;数组仅一维友好,多维嵌套工具缺失;缺少集合、元组专用类型


  4. 类型系统弱化

    除 parity 外,其余类型标注仅文档作用,运行时不做强制校验,无法静态提前捕获类型错误,仅动态运行时报错


  5. 缺失高级语法糖

    生成器、迭代器、装饰器、模式匹配、切片赋值、解构for循环等现代编程语言常用特性均未实现


(二)HSSI 框架大量功能仅存骨架,未落地语言层


14个维度中仅W、Δ具备完整语言运行语义,其余维度(T/I/P/S/A/E/F/C/K/V/R/O)



  • 仅底层Rust库完成封装,支持activate激活,但没有配套内置函数、运行时行为,标注语法 @[W:xxx] 仅透传,不生效


  • I意图维策略、A智能体计划仅桩代码,不会实际执行


  • T时间维事件溯源、时间旅行、P概率采样、S空间查询等核心能力无法在SBT脚本调用


  • C约束维仅支持手动调用校验,无自动求解器集成;O遗忘、V版本、R角色维无脚本可用API


HSSI 关键缺陷:W世界维隔离不完整


fork_world创建新世界后,变量不做写时复制隔离,切换世界后变量值全局互通,仅变更日志标记世界标签,无法真正做隔离沙箱、事务回退,推测执行核心能力失效


当前仅解释器自举(Rust底层承载,SBT写解释器执行脚本),无SBT→C/WASM编译器,无法生成独立二进制程序,运行必须依赖Rust宿主 sbt 二进制



无JIT即时编译,纯树遍历解释执行,性能极差,大规模数据、循环计算效率低下



自举解释器功能子集不全,类、异常部分逻辑缺失,复杂项目无法使用自举版本运行




  1. 语言层面短板




  2. OOP残缺:无super、静态方法、抽象类、访问修饰符,大型项目分层弱




  3. 标准库极度单薄:目前只有十几个标准库




  4. 并发完全空白: async/await 仅语法解析,无协程/线程运行逻辑




  5. 类型系统弱化:除parity外类型标注仅注释,运行不校验




  6. 缺少现代语法糖:生成器、装饰器、模式匹配等全部未实现




  7. 反直觉设计: pop 返回新数组而非弹出元素,新手需要适应




  8. HSSI框架半成品问题




14维仅W、Δ能在脚本完整调用,T/I/P/S/A等维度只有底层库,无上层调用函数,标注语法 @[维度:值] 仅透传不生效

W世界维度缺陷:fork后的变量没有写时复制隔离,切换世界数据互通,沙箱事务能力失效

约束系统仅手动调用校验,无法赋值自动触发,无Z3求解器集成,仅判断不能自动优化



  1. 编译&性能短板


目前只有Rust编写的树遍历解释器,无SBT→C/WASM编译器,不能生成独立exe二进制;

无JIT编译,纯解释执行,循环、大数据场景性能很差

自举解释器功能子集不全,复杂类/异常代码无法运行



  1. 工程化配套缺失


无调试器、断点、性能分析工具;无单元测试框架;超大文件无流式读取,容易内存溢出;T时间维度与O遗忘维度互斥,不能同时激活




项目整体设计、文档、示例全部完成,底层Rust代码+SBT自举代码均已落地

准备后续我和ai一起开发看看,然后不知道有没有人感兴趣,有的话就开源

同时,我会记录使用的token,我要看看这么大的项目要花费多少token




佬们觉得HSSI和我另外几个创新的想法到底实不实用啊




感谢ai,不然我的这些想法可能都实现不了,毕竟太庞大而且困难了,我也就个写个玩具语言的水平……




这个时候肯定有人要问了,佬佬,明明市面上已经有那么多语言了,为什么还要写?还用ai写?

写编程语言可以让自己的理解更深入,而用ai写,则是可以当看其他人的项目一样学习,而且我这实力,不用ai也写不出来这么大的项目啊

最新回复 (3)
  • 乄丿 07-12 04:36
    1

    Stop,停止你现在所有的美好幻想~!

    AI时代本身就是把软件从编程语言转化用人类语言的大热潮

    我不知道你听不得懂,但你要知道编程语言有许多种,但出众的唯有那几个

    为什么,因为编程语言需要大量时间的去迭代,去补进程锁协调,编译转译层等…

    多年的社区反馈积累,多次的反复推敲,才造就一款适合这个世界的一块“拼图”语言

    编程语言已经在落幕,退居幕后,如此行径,无异于逆水行舟。


    如果已经在做,那你不要听信AI的猛夸,盲目的自信是浪费你时间的根因。

  • zhx47 07-12 04:42
    2

    设计哲学是不是有点太复杂了,看这些介绍已经晕了

  • OneDingZ 07-12 04:50
    3

    有点异想天开了,并不会比现有的编程语言有优势,花掉大量token后只会留下个烂摊子

* 帖子来源Linux.do
返回