仓颉语言：把代数数据类型和效应处理器做成一等公民的编译型新语言

// 定义一个表示网络请求结果的 ADT
enum Result<T> {
    | Ok(T)
    | Err(String)
}

// 使用模式匹配处理分支——编译器会检查是否穷举
func handleResponse(resp: Result<Int64>): Int64 {
    match (resp) {
        case Ok(value) => value
        case Err(msg)  => {
            println("请求失败: ${msg}")
            0  // 返回默认值
        }
    }
}

// 调用
let okResp: Result<Int64> = Ok(200)
let errResp: Result<Int64> = Err("连接超时")
println(handleResponse(okResp))   // 200
println(handleResponse(errResp))   // 请求失败: 连接超时 → 0

// 声明一个效应类型
effect Log {
    func info(msg: String): Unit
}

// 业务函数声明自己会使用 Log 效应
// 效应出现在函数签名里，调用方一眼可见
func processOrder(orderId: String): String \ Log {
    Log.info("开始处理订单: ${orderId}")
    // ... 业务逻辑 ...
    Log.info("订单处理完成")
    orderId
}

// 效应处理器——决定效应的实际行为
handler LogHandler {
    // 拦截 Log.info，实际打印到控制台
    func info(msg: String): Unit {
        println("[LOG] ${msg}")
    }
}

// 用 handler 包裹调用，效应有了具体实现
func main(): Int64 {
    with (LogHandler) {
        processOrder("ORD-20240601")
    }
    0
}

[LOG] 开始处理订单: ORD-20240601
[LOG] 订单处理完成

// 配置来源的 ADT——明确表达三种可能
enum ConfigSource {
    | File(String)       // 文件路径
    | EnvVar(String)     // 环境变量名
    | Default            // 使用默认值
}

// 读取可能失败的 ADT
enum LoadResult {
    | Success(Map<String, String>)
    | FileNotFound(String)
    | ParseError(String)
}

// 声明两个效应：文件读取和日志
effect ReadFile { func read(path: String): String }
effect Log      { func info(msg: String): Unit }

// 业务函数：声明所有用到的效应，签名完全透明
func loadConfig(src: ConfigSource): LoadResult \ { ReadFile, Log } {
    match (src) {
        case File(path) => {
            Log.info("从文件加载: ${path}")
            try {
                let content = ReadFile.read(path)
                // 简化：假设解析成功
                Success(parseToMap(content))
            } catch (_ => FileNotFound(path))
        }
        case EnvVar(name) => {
            Log.info("从环境变量加载: ${name}")
            // 简化处理
            Success(Map<String, String>())
        }
        case Default => {
            Log.info("使用默认配置")
            Success(defaultMap())
        }
    }
}

// 测试用的 handler——不读真实文件，不打真实日志
handler TestHandler {
    func read(path: String): String {
        "key=value\nport=8080"  // 返回固定测试内容
    }
    func info(msg: String): Unit {
        // 测试时不输出，只记录到断言可检查的地方
    }
}

// 测试调用——零外部依赖
func testLoadConfig(): LoadResult {
    with (TestHandler) {
        loadConfig(File("/fake/path/config.cfg"))
    }
}