Nolang 设计评述:一套为 AI 时代重构调用约定与代码形态的系统语言
Nolang以“用执行模型消除问题”为核心,首创“位置即权限”设计:参数位置只读、返回值位置可写,统一替代`mut`/`&`等语法;单线程+无栈协程+多进程,规避并发复杂性;函数签名即全部语义,AI修改局部化、diff干净、编译期集中复杂度。设计高度自洽,专为AI协同与高性能而生。(239字)
.NET 11 来了:你写的 bug,编译器这次先替你看到了
.NET 11(2026.11发布)聚焦“把不确定性收进类型里”:C# 15联合类型实现编译期穷尽检查;Runtime Async优化异步调试体验;Native AOT CLI大幅降低命令启动延迟;新增异步验证、Blazor AI组件、Zstd压缩等实用特性。注意:为STS版本,非LTS。
AI 写 SQL& 存储过程,从能跑通到敢相信
本文提出“AI规划+确定性编译”新范式,将AI降级为口语需求拆解者,由可审计、可调试、可验证的步骤脚本承载逻辑,再经编译器生成确定性SQL。此举对齐计算与阅读次序,降低变更成本,支持方言移植与祖传SQL资产化,真正把不确定性关进可审计的笼子。