补上 Go 缺失的类型安全与模式匹配：语言 Soppo

📋 概述

Soppo 是一门兼容 Go 语法、旨在补上 Go 缺失特性的语言：在保持与既有 Go 库和工具链完全互操作的同时，引入类型安全与更顺手的表达力。它支持带结构体变体的 tagged union 枚举与穷尽性模式匹配（编译器在运行前就抓住缺失分支）、用 ? 运算符简洁传播错误的错误处理、编译期追踪可空性的 nil 安全，以及给出精确位置与修复建议的清晰报错。安装可通过 SOPMOD 版本管理器或 cargo install soppo 完成。