Solod: Go can be a better C
2 months ago
- #systems-programming
- #go
- #programming-languages
- Solod（简称So）是一种新型编程语言，作为Go的严格子集可编译为C代码，专为系统编程设计——既保留Go的语法和类型安全特性，又消除了隐式内存分配。
- 核心特性包括：Go代码可转译为可读的C11代码、零运行时开销（无垃圾回收机制）、默认栈分配/可选堆分配、无需CGO的原生C互操作，以及与Go工具链的兼容性。
- So支持结构体、方法、接口、切片和多返回值等特性，但为保持简洁性舍弃了通道、协程、闭包和泛型。
- 语言示例包含'Hello world'的Go到C转译演示，展示结构体定义、方法实现和main函数的具体转换过程。
- 语言教程涵盖变量、字符串、数组、切片、字典、控制结构（if/else/for）、函数、多返回值、结构体、方法、接口、枚举、错误处理、defer机制及C互操作。
- So强调简洁性、可读性和Go兼容性，专注于生成高效整洁的C代码。
- 兼容性说明：So生成的C11代码依赖GCC/Clang扩展，支持Linux/macOS/Windows（部分），暂不支持MSVC编译器。
- 设计理念优先考虑：语法简洁性、内置函数无堆分配、快速C互操作、代码可读性和Go兼容性，而非极致性能优化或完全复刻Go特性。
- 常见问题解答包含：与TinyGo的差异、内存处理策略（默认栈分配/stdlib显式堆分配）、安全性（有限保障）、C互操作性、稳定性（非生产就绪）以及正在扩展的标准库。
- 结语部分推荐将So用于业余项目，并提供延伸阅读资料及更新订阅渠道。