Soppo 是一门以 Go 为起点的新语言，在保持 Go 语法与生态的前提下补齐类型安全与表达力。它支持带结构化变体的标签联合与模式匹配，编译器能穷尽检查所有分支，重构时不用担心漏掉某个 case。得益于 Go 语法与完整互操作，熟悉 Go 的开发者几乎零成本上手，且能直接调用任何 Go 库并渐进式引入现有项目。